[−][src]Module splr::clause

Crate clause provides clause object and its manager ClauseDB

Structs

Clause	A representation of 'clause'
ClauseDB	Clause database
ClauseId	'Clause' Identifier, or 'clause' index, starting with one. Note: ids are re-used after 'garbage collection'.
Watch	'watch literal' structure

Record of clause operations to build DRAT certifications.

ClauseDBIF	API for clause management like `reduce`, `simplify`, `new_clause`, and so on.
ClauseIF	API for Clause, providing `kill`.
ClauseIdIF	API for Clause Id like `to_lit`, `is_lifted_lit` and so on.
WatchDBIF	API for 'watcher list' like `attach`, `detach`, `detach_with` and so on.