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]
current_event [Data_for_aorai]

D
data [Dataflow.StmtStartData]
data [Aorai_dataflow.Computer]
data [State_builder.Hashtbl]
data [State_builder.Ref]
Type of the referenced value.
data_in_list [State_builder.List_ref]

E
end_state [Data_for_aorai]
eps_trans [Data_for_aorai]
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]

K
key [State_builder.Hashtbl]

P
parsed_automaton [Promelaast]
parsed_condition [Promelaast]
Promela parsed abstract syntax trees.
pre_cond [Yaparser]

R
range [Data_for_aorai]

S
seq_elt [Promelaast]
sequence [Promelaast]
single_action [Promelaast]
state [Promelaast]
Internal representation of a State from the Buchi automata.
state [Data_for_aorai]

T
t [Aorai_dataflow.Backwards_computer]
t [Aorai_dataflow.Computer]
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]