A DFA description of a TESLA assertion.
Objects of this type are guaranteed to be realisable.
Definition at line 168 of file Automaton.h.
#include "Automaton.h"
Inheritance diagram for tesla::DFA: Collaboration diagram for tesla::DFA:Public Member Functions | |
| bool | IsRealisable () const |
| Public Member Functions inherited from tesla::Automaton | |
| virtual | ~Automaton () |
| size_t | ID () const |
| const AutomatonDescription & | getAssertion () const |
| const Usage * | Use () const |
| size_t | StateCount () const |
| size_t | TransitionCount () const |
| std::string | Name () const |
| Short, unique name. More... | |
| std::string | String () const |
| Human-readable representation. More... | |
| std::string | Dot () const |
| GraphViz representation. More... | |
| TransitionSets::const_iterator | begin () const |
| Iterate over state transitions. More... | |
| TransitionSets::const_iterator | end () const |
Static Public Member Functions | |
| static DFA * | Convert (const NFA *) |
Friends | |
| class | internal::DFABuilder |
Additional Inherited Members | |
| Public Types inherited from tesla::Automaton | |
| enum | Type { Unlinked, Linked, Deterministic } |
| Automata representations, in increasing order of realisability. More... | |
| typedef llvm::SmallVector < State *, 10 > | StateVector |
| Protected Member Functions inherited from tesla::Automaton | |
| Automaton (size_t id, const AutomatonDescription &, const Usage *, llvm::StringRef Name, llvm::ArrayRef< State * >, const TransitionSets &) | |
| Protected Attributes inherited from tesla::Automaton | |
| const size_t | id |
| const AutomatonDescription & | assertion |
| Automaton states. More... | |
| const Usage * | use |
| How the automaton is used. More... | |
| const std::string | name |
| StateVector | States |
| TransitionSets | Transitions |
Definition at line 857 of file Automaton.cpp.
References tesla::internal::DFABuilder::ConstructDFA().
Here is the call graph for this function:
|
inlinevirtual |
Reimplemented from tesla::Automaton.
Definition at line 173 of file Automaton.h.
|
friend |
Definition at line 169 of file Automaton.h.
