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]