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.

Copyright © 1999-2016, The Regina development team
This software is released under the GNU General Public License, with some additional permissions; see the source code for details.
For further information, or to submit a bug or other problem, please contact Ben Burton (bab@maths.uq.edu.au).