[][src]Module varisat::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.