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