Index of class methods
A
add
[
CfgProof.computer
]
add
[
CfgProof.Create.computer
]
alive
[
Translate_prop.Create.instance
]
C
capture
[
Mdata.S.hint
]
capture
[
Translate_prop.Create.instance
]
capture
[
Datalib.Create.hint
]
change_label
[
NormAtLabels.norm_at
]
compute
[
CfgProof.computer
]
compute
[
CfgProof.Create.computer
]
E
extend_with_hint
[
Translate_prop.Create.instance
]
H
has_var
[
Mdata.S.hint
]
has_var
[
Translate_prop.Create.instance
]
has_var
[
Datalib.Create.hint
]
hint
[
Axiomatics.hint_collector
]
I
id
[
Translate_prop.Create.instance
]
instantiate
[
Translate_prop.Create.instance
]
P
pretty
[
Mdata.S.hint
]
pretty
[
Translate_prop.Create.instance
]
pretty
[
Datalib.Create.hint
]
R
restore_pred
[
NormAtLabels.norm_at
]
restore_term
[
NormAtLabels.norm_at
]
S
subst
[
Mdata.S.hint
]
subst
[
Translate_prop.Create.instance
]
subst
[
Datalib.Create.hint
]
V
vannotation
[
Axiomatics.hint_collector
]
vexpr
[
Vaddr.address_taken_var
]
vpredicate_named
[
NormAtLabels.norm_at
]
vpredicate_named
[
Axiomatics.hint_collector
]
vterm
[
Vaddr.address_taken_var
]
vterm
[
NormAtLabels.norm_at
]
vterm
[
Axiomatics.hint_collector
]