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] |