[−][src]Module rate_common::clausedatabase
Container for clauses
Structs
| ClauseDatabase | Stores clauses in a flat buffer |
| WitnessDatabase | Stores witnesses in a flat buffer |
Constants
| FIELDS_OFFSET | Location of the fields within the metadata. |
| PADDING_END | Size of the clause suffix (terminating 0) |
| PADDING_START | Size of metadata that precede the literals of a clause |
Traits
| ClauseStorage |