Module splr::traits

Interfaces between submodules

Traits

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.
Delete	API for O(n) deletion from a list, providing delete_unstable.
EliminatorIF	API for Eliminator like activate, stop, eliminate and so on.
EmaIF	API for Exponential Moving Average, EMA, like get, reset, update and so on.
FlagIF	API for object properties like is, turn_off, turn_on and so on.
LitIF	API for Literal like from_int, from_var, to_cid and so on.
ProgressEvaluator
PropagatorIF	API for assignment like propagate, enqueue, cancel_until, and so on.
RestartIF	API for restart like block_restart, force_restart and so on.
SatSolverIF	API for SAT solver like build, solve and so on.
StateIF	API for state/statistics management, providing progress.
ValidatorIF	API for SAT validator like inject_assignment, validate and so on.
VarDBIF	API for var DB like assigned, locked, compute_lbd and so on.
VarIF	API for Var, providing new and new_vars.
WatchDBIF	API for 'watcher list' like attach, detach, detach_with and so on.