Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
reg.cpp File Reference

(Revision: 14236)

Go to the source code of this file.

Classes

class  Gecode::REG::Exp
 Implementation of the actual expression tree. More...
 
class  Gecode::MiniModel::PosSet
 Sets of positions. More...
 
class  Gecode::MiniModel::NodeInfo
 Node information computed during traversal of the expressions. More...
 
class  Gecode::MiniModel::ExpInfo
 Expression information. More...
 
class  Gecode::MiniModel::PosInfo
 Information on positions collected during traversal. More...
 
class  Gecode::MiniModel::StateNode
 Node together with state information More...
 
class  Gecode::MiniModel::StatePool
 State pool combines a tree of states together with yet unprocessed states More...
 
class  Gecode::MiniModel::SymbolsInc
 Sort symbols. More...
 
class  Gecode::MiniModel::TransitionBag
 For collecting transitions while constructing a DFA. More...
 
class  Gecode::MiniModel::FinalBag
 For collecting final states while constructing a DFA. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::MiniModel
 Minimalistic modeling support.
 

Typedefs

typedef Support::BlockAllocator< PosSet, Heap > Gecode::MiniModel::PosSetAllocator
 Allocator for position sets. More...
 
typedef Support::BlockAllocator< StateNode, Heap > Gecode::MiniModel::StatePoolAllocator
 Allocator for state nodes. More...
 

Enumerations

enum  Gecode::MiniModel::PosSetCmp { Gecode::MiniModel::PSC_LE, Gecode::MiniModel::PSC_EQ, Gecode::MiniModel::PSC_GR }
 Order on position sets. More...