Index of types


B
buchautomata [Promelaast]
Internal representation of a Buchi automata : a list of states and a list of transitions.

C
condition [Promelaast]
Promela parsed abstract syntax trees

D
double_pre_post_bycase_t [Spec_tools]

F
formula [Ltlast]
LTL formula parsed abstract syntax trees
funcStatus [Promelaast]
An operation can have two status: currently calling or returning.

O
observed_expr [Yaparser]
observed_expr [Promelaparser_withexps]

P
pre_post_bycase_t [Spec_tools]

Q
quad_pre_post_bycase_t [Spec_tools]

S
state [Promelaast]
Internal representation of a State from the Buchi automata.

T
t [Bool3]
token [Yaparser]
token [Promelaparser_withexps]
token [Promelaparser]
token [Ltlparser]
trans [Promelaast]
Internal representation of a transition from the Buchi automata.
trans [Yaparser]