Declaration of tesla::Automaton.
Definition in file Automaton.h.
#include "llvm/ADT/ArrayRef.h"#include "llvm/ADT/StringRef.h"#include "Transition.h"#include <map>
Include dependency graph for Automaton.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | tesla::Automaton |
| An automata representation of a TESLA assertion. More... | |
| class | tesla::NFA |
| A non-deterministic automaton that represents a TESLA assertion. More... | |
| class | tesla::DFA |
| A DFA description of a TESLA assertion. More... | |
Namespaces | |
| namespace | tesla |
| namespace | tesla::internal |
Typedefs | |
| typedef std::map< Identifier, const AutomatonDescription * > | tesla::AutomataMap |