Gecode::MiniModel Namespace Reference
Detailed Description
Minimal modelling support.
Classes | |
class | TooFewArguments |
Exception: Too few arguments available in argument array More... | |
class | ArgumentSizeMismatch |
Exception: Sizes of arguments does not match More... | |
class | ArgumentOutOfRange |
Exception: Argument out of range More... | |
class | PosSet |
Sets of positions. More... | |
class | NodeInfo |
Node information computed during traversal of the expressions. More... | |
class | PosInfo |
Information on positions collected during traversal. More... | |
class | StateNode |
Node together with state information More... | |
class | StatePool |
State pool combines a tree of states together with yet unprocessed states More... | |
class | SymbolsInc |
Sort symbols. More... | |
class | TransitionBag |
For collecting transitions while constructing a DFA. More... | |
class | FinalBag |
For collecting final states while constructing a DFA. More... | |
class | LinExpr |
Linear expressions. More... | |
class | LinRel |
Linear relations. More... | |
class | BoolExpr |
Boolean expressions. More... | |
class | BoolRel |
Boolean relations. More... | |
class | Matrix |
Matrix-interface for arrays. More... | |
Typedefs | |
typedef Support::BlockAllocator < PosSet > | PosSetAllocator |
Allocator for position sets. | |
typedef Support::BlockAllocator < StateNode > | StatePoolAllocator |
Allocator for state nodes. | |
Enumerations | |
enum | PosSetCmp { PSC_LE, PSC_EQ, PSC_GR } |
Order on position sets. More... |
Typedef Documentation
Enumeration Type Documentation