Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
PreprocessorInterface Member List

This is the complete list of members for PreprocessorInterface, including all inherited members.

addClause(ClauseExchangePtr clause)=0SolverInterfacepure virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)=0SolverInterfacepure virtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars)=0SolverInterfacepure virtual
diversify(const SeedGenerator &getSeed=[](SolverInterface *s) { return s->getSolverId();})=0SolverInterfacepure virtual
getAlgoType()SolverInterfaceinline
getAndIncrementTypeCount()SolverInterfaceinlineprotectedstatic
getDivisionVariable()=0SolverInterfacepure virtual
getModel()=0SolverInterfacepure virtual
getPreprocessorStatistics()=0PreprocessorInterfacepure virtual
getSimplifiedFormula()=0PreprocessorInterfacepure virtual
getSolverId()SolverInterfaceinline
getSolverTypeCount() constSolverInterfaceinline
getSolverTypeId()SolverInterfaceinline
getVariablesCount()=0SolverInterfacepure virtual
initializeTypeId()SolverInterfaceinlineprotected
isInitialized()SolverInterfaceinline
loadFormula(const char *filename)=0SolverInterfacepure virtual
m_algoTypeSolverInterfaceprotected
m_initializedSolverInterfaceprotected
m_solverIdSolverInterfaceprotected
m_solverTypeIdSolverInterfaceprotected
PreprocessorInterface(PreprocessorAlgorithm algo, int id)PreprocessorInterfaceinline
printParameters()SolverInterfacevirtual
printStatistics()SolverInterfacevirtual
printWinningLog()SolverInterfacevirtual
releaseMemory()=0PreprocessorInterfacepure virtual
restoreModel(std::vector< int > &model)=0PreprocessorInterfacepure virtual
s_instanceCountsSolverInterfaceinlineprotectedstatic
setInitialized(bool value)SolverInterfaceinline
setSolverId(unsigned int id)SolverInterfaceinline
setSolverInterrupt()=0SolverInterfacepure virtual
setSolverTypeId(unsigned int typeId)SolverInterfaceinline
solve(const std::vector< int > &cube)=0SolverInterfacepure virtual
SolverInterface(SolverAlgorithmType algoType, int solverId)SolverInterface
unsetSolverInterrupt()=0SolverInterfacepure virtual
~SolverInterface()SolverInterfacevirtual
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome