Index of module types


C
CASES [Cvalues]
Cfg [CfgTypes]
Chunk [Memory]
Code [LogicAssigns]

D
Data [Model]
Domain [Fixpoint]

E
Entries [Model]
Export [Mcfg]

G
Generator [Model]

H
HEsig [Cil2cfg]
signature of a mapping table from cfg edges to some information.

I
Indexed [Wprop]
Indexed2 [Wprop]
Info [Wprop]

K
Key [Model]

L
Logic [LogicAssigns]

M
Model [Memory]

R
Registry [Model]

S
S [Mcfg]
This is what is really needed to propagate something through the CFG.
Sigma [Memory]
Splitter [Mcfg]

T
Transition [CfgTypes]

V
VarUsage [MemVar]

W
WeiMaoZouChenInput [Cil2cfg]