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] |