Module splr::cdb[−][src]

Crate cdb provides Clause object and its manager ClauseDB.

Re-exports

pub use self::property::*;

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`, `new_clause`, `watcher_list`, and so on.
ClauseIF	API for Clause, providing literal accessors.
ClauseIdIF	API for Clause Id.
WatchDBIF	API for ‘watcher list’ like `register`, `detach`, `update_blocker` and so on.