C | |
| changed [Gen.Gen] | |
D | |
| d [LowerUpper.S] |
These are the alternatives of a lower-upper value
|
| data [PrioQueue.S] | |
| domain_var [MapVar.S] | |
E | |
| e [Syntax] |
expressions
|
| elm [LUVar.S] | |
| elm [LowerUpper.S] | |
| elm [LowerUpperNeg.S] | |
I | |
| img [MapVar.S_WITHOUT_STATE.I] | |
| img [MapVar.S_WITHOUT_STATE] | |
| img [LUVar.S] | |
| img [Gvars.VARS.ObjectType] | |
| img [GenVars.VAR] |
The image
|
K | |
| key [PrioQueue.S] | |
| key [MapVar.S_WITHOUT_STATE.I] | |
| key [Gvars.VARS.ObjectType] | |
L | |
| label [Syntax] |
labels
|
| lenv [Inf.Type] |
Location environment or local envrionment variable (LEVar)
|
| levar [Inf] |
Local environment Variables
|
| lsvar [Inf] |
Location Set Variables
|
M | |
| mode [Args] | |
N | |
| normal_args [Args] | |
O | |
| obs [Inf.Const] |
Type of the observer
|
| obs [Inf.ConstBasic] | |
| obs [Gvars.TYPE] | |
| obs [GenVars.VAR_WITHOUT_IMG] |
type of the observer
|
| obs [GenVars.STATE] | |
| otvar [Inf] |
Object type variables
|
P | |
| p [Syntax] | |
| phi [Inf.Type] |
location set or location set variable (LSVar)
|
| plab [Syntax] |
program labels
|
| prevar [Inf] |
Precise variables
|
Q | |
| q [Inf.Type] |
Precise information of precise variable (PreVar)
|
R | |
| r [Inf.Type] |
object type or object type variable (OTVar)
|
| result [Gen.Gen] | |
S | |
| s [Syntax] |
serious expressions
|
T | |
| t [ProgLabel] |
a program label
|
| t [PrioQueue.DATA] | |
| t [PrioQueue.S] | |
| t [LowerUpper.SS_WO_ME] | |
| t [LowerUpper.S] |
The type of a LSetInEx value
|
| t [LowerUpperNeg.S] |
These are the alternatives of a lower-upper value
|
| t [Location.P] |
Program locations
|
| t [Location.Loc] |
location
|
| t [Inf.ConstBasic] |
constraint
|
| t [Inf.Type] |
Types and type variables
|
| t [Gvars.VARS.ObjectType] | |
| t [GenVars.VAR_WITHOUT_IMG] |
Type variables are instances of this type
|
| t [GenVars.OBSERVER] |
type of the observer
|
| t [GenVars.IMG] |
type of the values
|
| t [Args] | |
| tau [Inf.Type] |
Types without type variables
|
| test_args [Args] | |
| tvar [Inf] |
Type variables
|
V | |
| v [Syntax] |
values
|
| var [Syntax] |
variables
|