Computer Laboratory

tesla::FnTransition Member List

This is the complete list of members for tesla::FnTransition, including all inherited members.

Append(const llvm::OwningPtr< Transition > &, TransitionSets &)tesla::Transitionprotectedstatic
Arguments() const tesla::FnTransitionvirtual
classof(const Transition *T)tesla::FnTransitioninlinestatic
Cleanuptesla::Transitionprotected
Copy(State &From, State &To, const Transition *Other, TransitionVector &, bool OutOfScope=false)tesla::Transitionstatic
Create(State &From, State &To, TransitionVector &Transitions, bool Init=false, bool Cleanup=false)tesla::Transitionstatic
Create(State &From, State &To, const FunctionEvent &Ev, TransitionVector &, bool Init, bool Cleanup, bool OutOfScope=false)tesla::Transitionstatic
Create(State &From, State &To, const FieldAssignment &A, TransitionVector &, bool Init, bool Cleanup, bool OutOfScope=false)tesla::Transitionstatic
Create(State &From, State &To, const NowEvent &, const AutomatonDescription &, TransitionVector &, bool Init, bool Cleanup)tesla::Transitionstatic
CreateSubAutomaton(State &From, State &To, const Identifier &, TransitionVector &)tesla::Transitionstatic
Destination() const tesla::Transitioninline
DotLabel() const tesla::FnTransitionvirtual
EquivalentExpression(const Transition *Other) const tesla::FnTransitioninline
EquivalentTo(const Transition &T) const tesla::FnTransitioninlineprotectedvirtual
FieldAssign enum valuetesla::Transition
Fn enum valuetesla::Transition
FnEvent() const tesla::FnTransitioninline
Fromtesla::Transitionprotected
getKind() const tesla::FnTransitioninlinevirtual
GroupClasses(const TransitionVector &, TransitionSets &)tesla::Transitionstatic
Inittesla::Transitionprotected
InScope() const tesla::Transitioninline
IsRealisable() const tesla::FnTransitioninlinevirtual
IsStrict() const tesla::FnTransitioninlinevirtual
NewArgMask() const tesla::Transition
NewArguments() const tesla::Transition
Now enum valuetesla::Transition
Null enum valuetesla::Transition
OutOfScopetesla::Transitionprotected
ReferencesThusFar(llvm::OwningArrayPtr< const Argument * > &Args, ReferenceVector &Ref) const tesla::Transition
Register(llvm::OwningPtr< Transition > &, State &From, State &To, TransitionVector &)tesla::Transitionprotectedstatic
RequiresCleanup() const tesla::Transitioninline
RequiresInit() const tesla::Transitioninline
ShortLabel() const tesla::FnTransitionvirtual
Source() const tesla::Transitioninline
String() const tesla::Transitionvirtual
SubAutomaton enum valuetesla::Transition
Totesla::Transitionprotected
Transition classtesla::FnTransitionfriend
tesla::Transition::Transition(const State &From, const State &To, bool Init, bool Cleanup, bool OutOfScope)tesla::Transitioninlineprotected
TransitionKind enum nametesla::Transition
~Transition()tesla::Transitioninlinevirtual