Index of types


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]