treetraversal.h File Reference

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
	regina
	Contains the entire Regina calculation engine.

Typedefs
template<class LPConstraint , typename BanConstraint , typename IntType >
using	regina::NTreeTraversal = TreeTraversal< LPConstraint, BanConstraint, IntType >
	Deprecated typedef for backward compatibility. More...
template<class LPConstraint = LPConstraintNone, typename BanConstraint = BanNone, typename IntType = Integer>
using	regina::NTreeEnumeration = TreeEnumeration< LPConstraint, BanConstraint, IntType >
	Deprecated typedef for backward compatibility. More...
template<class LPConstraint = LPConstraintNone, typename BanConstraint = BanNone, typename IntType = Integer>
using	regina::NTautEnumeration = TautEnumeration< LPConstraint, BanConstraint, IntType >
	Deprecated typedef for backward compatibility. More...
template<class LPConstraint = LPConstraintNone, typename BanConstraint = BanNone, typename IntType = Integer>
using	regina::NTreeSingleSoln = TreeSingleSoln< LPConstraint, BanConstraint, IntType >
	Deprecated typedef for backward compatibility. More...

Detailed Description

Tree traversal methods for normal surface and angle structure enumeration and optimisation.