Regina Calculation Engine
|
A do-nothing class that imposes no additional linear constraints on the tableaux of normal surface matching equations. More...
#include <enumerate/ntreeconstraint.h>
Classes | |
struct | Coefficients |
Stores the extra coefficients in the tableaux associated with this constraint class (which for this class is a no-op, since in this case there are no extra coefficients). More... | |
Public Types | |
enum | { nConstraints = 0 } |
![]() | |
enum | { nConstraints } |
Static Public Member Functions | |
static bool | addRows (LPInitialTableaux< regina::LPConstraintNone >::Col *, const int *, NTriangulation *) |
template<typename Integer > | |
static void | constrain (LPData< regina::LPConstraintNone, Integer > &, unsigned) |
static bool | verify (const NNormalSurface *) |
static bool | supported (NormalCoords coords) |
![]() | |
static bool | addRows (LPInitialTableaux< LPConstraintBase >::Col *col, const int *columnPerm, NTriangulation *tri) |
Explicitly constructs equations for the linear function(s) constrained by this class. More... | |
template<typename Integer > | |
static void | constrain (LPData< LPConstraintNone, Integer > &lp, unsigned numCols) |
Explicitly constraints each of these linear functions to an equality or inequality in the underlying tableaux. More... | |
static bool | verify (const NNormalSurface *s) |
Ensures that the given normal surface satisfies the extra constraints described by this class. More... | |
static bool | supported (NormalCoords coords) |
Indicates whether the given coordinate system is supported by this constraint class. More... | |
A do-nothing class that imposes no additional linear constraints on the tableaux of normal surface matching equations.
See the LPConstraintBase class notes for details on all member functions and structs.