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... | |
![]() | |
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 | |
![]() | |
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 |