[−][src]Module splr::types
Plumping layer Basic types
Structs
| CNFDescription | data about a problem. |
| Ema | Exponential Moving Average w/ a calibrator |
| Flag |
Enums
| SolverError | Internal exception |
Constants
| BOTTOM | unbound bool. |
| FALSE | the lifted false. |
| NULL_CLAUSE | a dummy clause index. |
| NULL_LIT | a dummy literal. |
| TRUE | the lifted true. |
Functions
| vec2int | convert |
Type Definitions
| ClauseId | 'Clause' Identifier, or 'clause' index, starting with one. Note: ids are re-used after 'garbage collection'. |
| Lbool | Lifted Bool type, consisting of |
| Lit | Literal encoded on |
| MaybeInconsistent | A Return type used by solver functions |
| VarId | 'Variable' identifier or 'variable' index, starting with one. |