Regina 7.0 Calculation Engine
|
Tree traversal methods for normal surface and angle structure enumeration and optimisation. More...
#include <mutex>
#include "enumerate/treeconstraint.h"
#include "enumerate/treelp.h"
#include "enumerate/typetrie.h"
#include "triangulation/forward.h"
Classes | |
class | regina::TreeTraversal< LPConstraint, BanConstraint, IntType > |
A base class for searches that employ the tree traversal algorithm for enumerating and locating vertex normal surfaces and taut angle structures. More... | |
class | regina::TreeEnumeration< LPConstraint, BanConstraint, IntType > |
The main entry point for the tree traversal algorithm to enumerate all vertex normal or almost normal surfaces in a 3-manifold triangulation. More... | |
class | regina::TautEnumeration< LPConstraint, BanConstraint, IntType > |
The main entry point for the tree traversal algorithm to enumerate all taut angle structures in a 3-manifold triangulation. More... | |
class | regina::TreeSingleSoln< LPConstraint, BanConstraint, IntType > |
The main entry point for the tree traversal / branching algorithm to locate a single non-trivial normal surface satisfying given constraints within a 3-manifold triangulation. More... | |
Namespaces | |
namespace | regina |
Contains the entire Regina calculation engine. | |
Tree traversal methods for normal surface and angle structure enumeration and optimisation.