Index of types


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