A | |
automaton [Scm_syn] | |
B | |
bexpr [Scm_syn] |
Boolean expression
|
binop [Scm_syn] |
Binary operators
|
C | |
coeff [Scm_syn] | |
cons [Scm_syn] |
Numerical constraint
|
constyp [Scm_syn] |
Numerical constraint type
|
D | |
declaration [Scm_syn] |
Variable declaration
|
G | |
global_scm [Scm_syn] | |
I | |
iexpr [Scm_syn] |
User type for numerical expressions
|
interval [Scm_syn] | |
P | |
point [Scm_syn] |
Control point in the program
|
R | |
round [Scm_syn] |
Rounding direction
|
S | |
scalar [Scm_syn] | |
scm [Scm_syn] | |
state [Scm_syn] | |
T | |
t [Scm_analyzer.Alpha] | |
tabstract [Scm_analyzer.Custom] | |
taction [Scm_syn] | |
trans [Scm_syn] |
Labelled transition
|
transition [Scm_syn] |
Transition
|
typ [Scm_syn] |
Types of variables
|
U | |
unop [Scm_syn] |
Unary operators
|
V | |
var [Scm_syn] |
Variable
|