Regina 7.0 Calculation Engine
|
Constraint classes for use with tree traversal enumeration methods. More...
#include "enumerate/treelp.h"
#include "maths/integer.h"
#include "surface/normalcoords.h"
#include "surface/normalsurface.h"
#include "triangulation/dim3.h"
Classes | |
class | regina::LPConstraintBase |
A base class for additional linear constraints that we can add to the tableaux of normal surface or angle structure matching equations. More... | |
class | regina::LPConstraintSubspace |
A subclass of LPConstraintBase used for constraints defined entirely by homogeneous linear equations. More... | |
class | regina::LPConstraintNone |
A do-nothing class that imposes no additional linear constraints on the tableaux of normal surface or angle structure matching equations. More... | |
class | regina::LPConstraintEulerPositive |
A class that constraints the tableaux of normal surface matching equations to ensure that Euler characteristic is strictly positive. More... | |
class | regina::LPConstraintEulerZero |
A class that constraints the tableaux of normal surface matching equations to ensure that Euler characteristic is zero. More... | |
class | regina::LPConstraintNonSpun |
A class that constraints the tableaux of normal surface matching equations to ensure that normal surfaces in an ideal triangulation are compact (thereby avoiding spun normal surfaces with infinitely many triangles). More... | |
class | regina::BanConstraintBase |
A base class for additional banning and marking constraints that we can place on tree traversal algorithms. More... | |
class | regina::BanNone |
A do-nothing class that bans no coordinates and marks no coordinates. More... | |
class | regina::BanBoundary |
A class that bans normal disc types that meet the boundary of the underlying triangulation. More... | |
class | regina::BanTorusBoundary |
A class that bans and marks disc types associated with torus boundary components. More... | |
Namespaces | |
namespace | regina |
Contains the entire Regina calculation engine. | |
Typedefs | |
using | regina::LPConstraintEuler = LPConstraintEulerPositive |
A deprecated type alias for LPConstraintEulerPositive. More... | |
Constraint classes for use with tree traversal enumeration methods.