Regina Calculation Engine
|
A subclass of LPConstraintBase used for constraints defined entirely by homogeneous linear equations. More...
#include <enumerate/treeconstraint.h>
Public Types | |
enum | { nConstraints } |
Static Public Member Functions | |
static bool | addRows (LPCol< LPConstraintBase > *col, const int *columnPerm, const Triangulation< 3 > *tri) |
Explicitly constructs equations for the linear function(s) constrained by this class. More... | |
template<typename IntType > | |
static void | constrain (LPData< LPConstraintNone, IntType > &lp, unsigned numCols) |
Explicitly constraints each of these linear functions to an equality or inequality in the underlying tableaux. More... | |
static bool | verify (const NormalSurface *s) |
Ensures that the given normal surface satisfies the extra constraints described by this class. More... | |
static bool | verify (const AngleStructure *s) |
Ensures that the given angle structure 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 subclass of LPConstraintBase used for constraints defined entirely by homogeneous linear equations.
Any set of constraints defined entirely by homogeneous linear equations should derive from LPConstraintSubspace, not LPConstraintBase. In other words, any set of constraints derived from LPConstraintSubspace should simply restrict our attention to a vector subspace of the normal surface or angle structure coordinate system.
This class does not provide any additional functionality. It is merely a convenience to help describe and enforce preconditions.