[−][src]Module splr::traits
Interfaces between submodules
Traits
ClauseDBIF | API for clause management like |
ClauseIF | API for Clause, providing |
ClauseIdIF | API for Clause Id like |
Delete | API for O(n) deletion from a list, providing |
EliminatorIF | API for Eliminator like |
EmaIF | API for Exponential Moving Average, EMA, like |
FlagIF | API for object properties like |
LitIF | API for Literal like |
ProgressEvaluator | |
PropagatorIF | API for assignment like |
RestartIF | API for restart like |
SatSolverIF | API for SAT solver like |
StateIF | API for state/statistics management, providing |
ValidatorIF | API for SAT validator like |
VarDBIF | API for var DB like |
VarIF | API for Var, providing |
WatchDBIF | API for 'watcher list' like |