
Deterministic finite automaton (DFA) More...
#include <int.hh>
Classes | |
| class | DFAI |
| Data stored for a DFA. More... | |
| class | Symbols |
| Iterator for DFA symbols. More... | |
| class | Transition |
| Specification of a DFA transition. More... | |
| class | Transitions |
| Iterator for DFA transitions (sorted by symbols) More... | |
Public Member Functions | |
| DFA (void) | |
| Initialize for DFA accepting the empty word. More... | |
| DFA (int s, Transition t[], int f[], bool minimize=true) | |
| Initialize DFA. More... | |
| DFA (const DFA &d) | |
| Initialize by DFA d (DFA is shared) More... | |
| int | n_states (void) const |
| Return the number of states. More... | |
| int | n_transitions (void) const |
| Return the number of transitions. More... | |
| unsigned int | n_symbols (void) const |
| Return the number of symbols. More... | |
| unsigned int | max_degree (void) const |
| Return maximal degree (in-degree and out-degree) of any state. More... | |
| int | final_fst (void) const |
| Return the number of the first final state. More... | |
| int | final_lst (void) const |
| Return the number of the last final state. More... | |
| int | symbol_min (void) const |
| Return smallest symbol in DFA. More... | |
| int | symbol_max (void) const |
| Return largest symbol in DFA. More... | |
Public Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle (void) | |
| Create shared handle with no object pointing to. More... | |
| SharedHandle (SharedHandle::Object *so) | |
| Create shared handle that points to shared object so. More... | |
| SharedHandle (const SharedHandle &sh) | |
| Copy constructor maintaining reference count. More... | |
| SharedHandle & | operator= (const SharedHandle &sh) |
| Assignment operator maintaining reference count. More... | |
| void | update (Space &home, bool share, SharedHandle &sh) |
| Updating during cloning. More... | |
| ~SharedHandle (void) | |
| Destructor that maintains reference count. More... | |
Related Functions | |
(Note that these are not member functions.) | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const DFA &d) |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle::Object * | object (void) const |
| Access to the shared object. More... | |
| void | object (SharedHandle::Object *n) |
| Modify shared object. More... | |
Deterministic finite automaton (DFA)
After initialization, the start state is always zero. The final states are contiguous ranging from the first to the last final state.
|
inline |
| Gecode::DFA::DFA | ( | int | s, |
| Transition | t[], | ||
| int | f[], | ||
| bool | minimize = true |
||
| ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
related |