[−][src]Module varisat::clause

Clause storage.

Re-exports

pub use activity::bump_clause_activity;

pub use activity::decay_clause_activities;

pub use activity::ClauseActivity;

pub use alloc::ClauseAlloc;

pub use alloc::ClauseRef;

pub use assess::assess_learned_clause;

pub use assess::bump_clause;

pub use db::ClauseDb;

pub use db::Tier;

pub use gc::collect_garbage;

pub use header::ClauseHeader;

Modules

activity	Clause activity.
alloc	Clause allocator.
assess	Clause assessment.
db	Database for long clauses.
gc	Garbage collection of long clauses.
header	Metadata stored in the header of each long clause.
reduce	Clause database reduction.

Structs

A clause.