Deepsolver
|
AbstractSatSolver() (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | [inline] |
addClause(const Clause &clause)=0 (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | [pure virtual] |
Ptr typedef (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | |
reset()=0 (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | [pure virtual] |
solve(VarIdToBoolMap &res, VarIdVector &conflicts)=0 (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | [pure virtual] |
VarIdToBoolMap typedef (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | |
~AbstractSatSolver() (defined in Deepsolver::Sat::AbstractSatSolver) | Deepsolver::Sat::AbstractSatSolver | [inline, virtual] |