Declaration of tesla::Transition and subclasses.
Definition in file Transition.h.
#include "Names.h"#include "Protocol.h"#include "Types.h"#include <llvm/ADT/ArrayRef.h>#include <llvm/ADT/OwningPtr.h>#include <llvm/ADT/SmallPtrSet.h>#include <llvm/Support/Casting.h>#include <string>
Include dependency graph for Transition.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | tesla::Transition |
| A transition from one TESLA state to another. More... | |
| class | tesla::NullTransition |
| An unconditional (and unrealisable) transition. More... | |
| class | tesla::NowTransition |
| The "now" event transition. More... | |
| class | tesla::FnTransition |
| A function-related transition. More... | |
| class | tesla::FieldAssignTransition |
| A field assignment transition. More... | |
| class | tesla::SubAutomatonTransition |
| A sub-automaton. More... | |
Namespaces | |
| namespace | tesla |
Typedefs | |
| typedef llvm::MutableArrayRef < const Argument * > | tesla::MutableReferenceVector |
| typedef llvm::SmallVector < Transition *, 10 > | tesla::TransitionVector |
| Ungrouped transitions. More... | |
| typedef llvm::SmallPtrSet < const Transition *, 4 > | tesla::TEquivalenceClass |
| A set of TESLA transitions that are considered equivalent. More... | |
| typedef std::vector < TEquivalenceClass > | tesla::TransitionSets |
| Sets of transition equivalence classes. More... | |
| typedef llvm::SmallVector < llvm::SmallVector < Transition *, 16 >, 4 > | tesla::TransitionVectors |