Lines 61-66
Link Here
|
61 |
val is_block_local: t -> Cil_types.block -> bool |
61 |
val is_block_local: t -> Cil_types.block -> bool |
62 |
val is_hidden_variable : t -> bool |
62 |
val is_hidden_variable : t -> bool |
63 |
val validity_from_type : Cil_types.varinfo -> validity |
63 |
val validity_from_type : Cil_types.varinfo -> validity |
|
|
64 |
val get_varinfo : t -> Cil_types.varinfo |
64 |
val create_varinfo : Cil_types.varinfo -> t |
65 |
val create_varinfo : Cil_types.varinfo -> t |
65 |
val create_logic : Cil_types.varinfo -> validity -> t |
66 |
val create_logic : Cil_types.varinfo -> validity -> t |
66 |
val create_initialized : Cil_types.varinfo -> validity -> t |
67 |
val create_initialized : Cil_types.varinfo -> validity -> t |