[−][src]Module varisat_formula::lit
Literals and variables.
Modules
| strategy |
Structs
| Lit | A boolean literal. |
| Var | A boolean variable. |
Type Definitions
| LitIdx | The backing type used to represent literals and variables. |
Literals and variables.
| strategy |
| Lit | A boolean literal. |
| Var | A boolean variable. |
| LitIdx | The backing type used to represent literals and variables. |