Module splr::cdb[−][src]

Expand description

Crate cdb provides Clause object and its manager ClauseDB.

Re-exports

pub use self::property::*;

Modules

Structs

CertificationStore

A representation of ‘clause’

Clause database

Clause identifier, or clause index, starting with one. Note: ids are re-used after ‘garbage collection’.

Traits

API for clause management like reduce, new_clause, remove_clause, and so on.

API for Clause, providing literal accessors.

API for Clause Id.