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
[
State_builder.Hashtbl
]
data
[
State_builder.Ref
]
Type of the referenced value.
data_in_list
[
State_builder.List_ref
]
double_pre_post_bycase_t
[
Spec_tools
]
E
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
]
pre_post_bycase_t
[
Spec_tools
]
Q
quad_pre_post_bycase_t
[
Spec_tools
]
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.
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
]