Module varisat::clause::db

Database for long clauses.

Structs

ClauseDb

Database for long clauses.

Enums

Tier	Partitions of the clause database.

Functions

add_clause	Add a long clause to the database.
clauses_iter	Iterator over all long clauses.
delete_clause	Delete a long clause from the database.
filter_clauses	Iterate over all and remove some long clauses.
set_clause_tier	Change the tier of a long clause.
try_delete_clause	Delete a long clause from the database unless it is asserting.