A | |
action [Promelaast] |
Additional actions to perform when crossing a transition.
|
automaton [Promelaast] |
Internal representation of a Buchi automata : a list of states and a list of transitions.
|
C | |
condition [Promelaast] | |
D | |
data [State_builder.Ref] |
Type of the referenced value.
|
E | |
expression [Promelaast] | |
F | |
formula [Ltlast] |
LTL formula parsed abstract syntax trees
|
funcStatus [Promelaast] |
An operation can have two status: currently calling or returning.
|
func_auto_mode [Aorai_visitors] | |
P | |
parsed_automaton [Promelaast] | |
parsed_condition [Promelaast] |
Promela parsed abstract syntax trees.
|
S | |
seq_elt [Promelaast] | |
sequence [Promelaast] | |
single_action [Promelaast] | |
state [Promelaast] |
Internal representation of a State from the Buchi automata.
|
T | |
t [Bool3] | |
token [Promelaparser_withexps] | |
token [Promelaparser] | |
token [Yaparser] | |
token [Ltlparser] | |
trans [Promelaast] |
Internal representation of a transition from the Buchi automata.
|
typed_automaton [Promelaast] | |
typed_condition [Promelaast] |