[−][src]Module varisat_checker::variables
Variable metadata.
Structs
| LitData | Data for each literal. |
| VarData | Data for each variable. |
| Variables |
Enums
| SamplingMode |
Functions
| add_user_mapping | Add a user/global var mapping. |
| ensure_sampling_var | Check that var is a sampling user var and create new variables as necessary. |
| ensure_var | Ensure that a variable is present. |
| remove_user_mapping | Remove a user/global var mapping. |