dfa.cc File Reference
(Revision: 3188)
#include "gecode/int.hh"
#include "gecode/support/sort.hh"
#include "gecode/support/static-stack.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::Regular |
Classes | |
class | Gecode::Int::Regular::TransByI_State |
Sort transition array by input state. More... | |
class | Gecode::Int::Regular::TransBySymbol |
Sort transition array by symbol (value). More... | |
class | Gecode::Int::Regular::TransBySymbolI_State |
Sort transition array by symbol and then input states. More... | |
class | Gecode::Int::Regular::TransByO_State |
Sort transition array by output state. More... | |
class | Gecode::Int::Regular::StateGroup |
Stategroup is used to compute a partition of states. More... | |
class | Gecode::Int::Regular::StateGroupByGroup |
Sort groups stated by group and then state. More... | |
class | Gecode::Int::Regular::GroupStates |
GroupStates is used to index StateGroup by group More... | |
Defines | |
#define | S_NONE 0 |
State is not reachable. | |
#define | S_FROM_START 1 |
State is reachable from start state. | |
#define | S_TO_FINAL 2 |
Final state is reachable from state. | |
#define | S_FINAL 4 |
State is final. |
Define Documentation
Function Documentation
std::ostream& operator<< | ( | std::ostream & | os, | |
const Gecode::DFA & | dfa | |||
) | [related] |