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

This is the complete list of members for LocalSearchInterface, 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
finalTrailLocalSearchInterfaceprotected
getAlgoType()SolverInterfaceinline
getAndIncrementTypeCount()SolverInterfaceinlineprotectedstatic
getDivisionVariable()=0SolverInterfacepure virtual
getModel()=0SolverInterfacepure virtual
getNbUnsat()LocalSearchInterfaceinline
getSolverId()SolverInterfaceinline
getSolverTypeCount() constSolverInterfaceinline
getSolverTypeId()SolverInterfaceinline
getVariablesCount()=0SolverInterfacepure virtual
initializeTypeId()SolverInterfaceinlineprotected
isInitialized()SolverInterfaceinline
loadFormula(const char *filename)=0SolverInterfacepure virtual
LocalSearchInterface(int solverId, LocalSearchType _lsType)LocalSearchInterfaceinline
lsStatsLocalSearchInterfaceprotected
lsTypeLocalSearchInterfaceprotected
m_algoTypeSolverInterfaceprotected
m_initializedSolverInterfaceprotected
m_solverIdSolverInterfaceprotected
m_solverTypeIdSolverInterfaceprotected
printParameters()SolverInterfacevirtual
printStatistics()SolverInterfacevirtual
printWinningLog()LocalSearchInterfaceinlinevirtual
s_instanceCountsSolverInterfaceinlineprotectedstatic
setInitialized(bool value)SolverInterfaceinline
setPhase(const unsigned int var, const bool phase)=0LocalSearchInterfacepure virtual
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
~LocalSearchInterface()=defaultLocalSearchInterfacevirtual
~SolverInterface()SolverInterfacevirtual
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome