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] |