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