reg.cc File Reference
(Revision: 3512)
#include "gecode/int.hh"
#include "gecode/support/sort.hh"
#include "gecode/support/block-allocator.hh"
#include "gecode/support/dynamic-stack.hh"
#include "gecode/support/dynamic-array.hh"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Int |
| namespace | Gecode::Int::Regular |
Classes | |
| class | Gecode::REG::Exp |
| Implementation of the actual expression tree. More... | |
| class | Gecode::Int::Regular::PosSet |
| Sets of positions. More... | |
| class | Gecode::Int::Regular::NodeInfo |
| Node information computed during traversal of the expressions. More... | |
| class | Gecode::Int::Regular::PosInfo |
| Information on positions collected during traversal. More... | |
| class | Gecode::Int::Regular::StateNode |
| Node together with state information More... | |
| class | Gecode::Int::Regular::StatePool |
| State pool combines a tree of states together with yet unprocessed states More... | |
| class | Gecode::Int::Regular::SymbolsInc |
| Sort symbols. More... | |
| class | Gecode::Int::Regular::TransitionBag |
| For collecting transitions while constructing a DFA. More... | |
| class | Gecode::Int::Regular::FinalBag |
| For collecting final states while constructing a DFA. More... | |
Typedefs | |
| typedef Support::BlockAllocator< PosSet > | Gecode::Int::Regular::PosSetAllocator |
| Allocator for position sets. | |
| typedef Support::BlockAllocator< StateNode > | Gecode::Int::Regular::StatePoolAllocator |
| Allocator for state nodes. | |
Enumerations | |
| enum | Gecode::Int::Regular::PosSetCmp { Gecode::Int::Regular::PSC_LE, Gecode::Int::Regular::PSC_EQ, Gecode::Int::Regular::PSC_GR } |
| Order on position sets. More... | |
Function Documentation
|
||||||||||||
|
|