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

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

addClause(ClauseExchangePtr clause)KissatMABSolvervirtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)KissatMABSolvervirtual
addClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) overrideKissatMABSolvervirtual
bump_var (defined in KissatMABSolver)KissatMABSolverprotected
bumpVariableActivity(const int var, const int times)KissatMABSolvervirtual
clausesToAddKissatMABSolverprotected
clearClients()SharingEntityinline
computeFamily() (defined in KissatMABSolver)KissatMABSolver
diversify(const SeedGenerator &getSeed) overrideKissatMABSolvervirtual
exportClause(const ClauseExchangePtr &clause)SharingEntityinlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)SharingEntityinlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client)SharingEntityinlineprotectedvirtual
family (defined in KissatMABSolver)KissatMABSolverprotected
getAlgoType()SolverInterfaceinline
getAndIncrementTypeCount()SolverInterfaceinlineprotectedstatic
getClientCount() constSharingEntityinline
getDivisionVariable()KissatMABSolvervirtual
getFinalAnalysis()KissatMABSolvervirtual
getModel()KissatMABSolvervirtual
getSatAssumptions()KissatMABSolvervirtual
getSharingId() constSharingEntityinline
getSolverId()SolverInterfaceinline
getSolverType()SolverCdclInterfaceinline
getSolverTypeCount() constSolverInterfaceinline
getSolverTypeId()SolverInterfaceinline
getVariablesCount()KissatMABSolvervirtual
importClause(const ClauseExchangePtr &clause) overrideKissatMABSolvervirtual
importClauses(const std::vector< ClauseExchangePtr > &clauses) overrideKissatMABSolvervirtual
initializeTypeId()SolverInterfaceinlineprotected
initkissatMABOptions()KissatMABSolver
isInitialized()SolverInterfaceinline
KissatMabExportClause (defined in KissatMABSolver)KissatMABSolverfriend
KissatMabImportClause (defined in KissatMABSolver)KissatMABSolverfriend
KissatMabImportUnit(void *, kissat *)KissatMABSolverfriend
kissatMABOptionsKissatMABSolver
KissatMABSolver(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)KissatMABSolver
loadFormula(const char *filename)KissatMABSolvervirtual
m_algoTypeSolverInterfaceprotected
m_cdclTypeSolverCdclInterface
m_clausesToImportSolverCdclInterfaceprotected
m_clientsSharingEntityprotected
m_clientsMutexSharingEntitymutableprotected
m_initializedSolverInterfaceprotected
m_solverIdSolverInterfaceprotected
m_solverTypeIdSolverInterfaceprotected
printParameters()SolverInterfacevirtual
printStatistics()KissatMABSolvervirtual
printWinningLog() overrideKissatMABSolvervirtual
removeClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
s_instanceCountsSolverInterfaceinlineprotectedstatic
setBumpVar(int v) (defined in KissatMABSolver)KissatMABSolver
setFamily(KissatFamily family)KissatMABSolverinline
setInitialized(bool value)SolverInterfaceinline
setPhase(const unsigned int var, const bool phase)KissatMABSolvervirtual
setSharingId(int _id)SharingEntityinline
setSolverId(unsigned int id)SolverInterfaceinline
setSolverInterrupt()KissatMABSolvervirtual
setSolverTypeId(unsigned int typeId)SolverInterfaceinline
SharingEntity()SharingEntityinline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)SharingEntityinline
solve(const std::vector< int > &cube)KissatMABSolvervirtual
solverKissatMABSolverprotected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)SolverCdclInterfaceinline
SolverInterface(SolverAlgorithmType algoType, int solverId)SolverInterface
stopSolverKissatMABSolverprotected
unsetSolverInterrupt()KissatMABSolvervirtual
~KissatMABSolver()KissatMABSolvervirtual
~SharingEntity()SharingEntityinlinevirtual
~SolverCdclInterface()SolverCdclInterfaceinlinevirtual
~SolverInterface()SolverInterfacevirtual
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome