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

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

addClause(ClauseExchangePtr clause)KissatINCSolvervirtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)KissatINCSolvervirtual
addClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) overrideKissatINCSolvervirtual
bump_var (defined in KissatINCSolver)KissatINCSolverprotected
bumpVariableActivity(const int var, const int times)KissatINCSolvervirtual
clausesToAddKissatINCSolverprotected
clearClients()SharingEntityinline
diversify(const SeedGenerator &getSeed) overrideKissatINCSolvervirtual
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 KissatINCSolver)KissatINCSolverprotected
getAlgoType()SolverInterfaceinline
getAndIncrementTypeCount()SolverInterfaceinlineprotectedstatic
getClientCount() constSharingEntityinline
getDivisionVariable()KissatINCSolvervirtual
getFinalAnalysis()KissatINCSolvervirtual
getModel()KissatINCSolvervirtual
getSatAssumptions()KissatINCSolvervirtual
getSharingId() constSharingEntityinline
getSolverId()SolverInterfaceinline
getSolverType()SolverCdclInterfaceinline
getSolverTypeCount() constSolverInterfaceinline
getSolverTypeId()SolverInterfaceinline
getVariablesCount()KissatINCSolvervirtual
importClause(const ClauseExchangePtr &clause) overrideKissatINCSolvervirtual
importClauses(const std::vector< ClauseExchangePtr > &clauses) overrideKissatINCSolvervirtual
initializeTypeId()SolverInterfaceinlineprotected
isInitialized()SolverInterfaceinline
KissatIncExportClause (defined in KissatINCSolver)KissatINCSolverfriend
KissatIncImportClause(void *, kissat *)KissatINCSolverfriend
KissatINCSolver(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)KissatINCSolver
loadFormula(const char *filename)KissatINCSolvervirtual
m_algoTypeSolverInterfaceprotected
m_cdclTypeSolverCdclInterface
m_clausesToImportSolverCdclInterfaceprotected
m_clientsSharingEntityprotected
m_clientsMutexSharingEntitymutableprotected
m_initializedSolverInterfaceprotected
m_solverIdSolverInterfaceprotected
m_solverTypeIdSolverInterfaceprotected
printParameters()SolverInterfacevirtual
printStatistics()KissatINCSolvervirtual
printWinningLog() overrideKissatINCSolvervirtual
removeClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
s_instanceCountsSolverInterfaceinlineprotectedstatic
setBumpVar(int v) (defined in KissatINCSolver)KissatINCSolver
setFamily(KissatFamily family) (defined in KissatINCSolver)KissatINCSolverinline
setInitialized(bool value)SolverInterfaceinline
setPhase(const unsigned int var, const bool phase)KissatINCSolvervirtual
setSharingId(int _id)SharingEntityinline
setSolverId(unsigned int id)SolverInterfaceinline
setSolverInterrupt()KissatINCSolvervirtual
setSolverTypeId(unsigned int typeId)SolverInterfaceinline
SharingEntity()SharingEntityinline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)SharingEntityinline
solve(const std::vector< int > &cube)KissatINCSolvervirtual
solverKissatINCSolverprotected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)SolverCdclInterfaceinline
SolverInterface(SolverAlgorithmType algoType, int solverId)SolverInterface
stopSolverKissatINCSolverprotected
unsetSolverInterrupt()KissatINCSolvervirtual
~KissatINCSolver()KissatINCSolvervirtual
~SharingEntity()SharingEntityinlinevirtual
~SolverCdclInterface()SolverCdclInterfaceinlinevirtual
~SolverInterface()SolverInterfacevirtual
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome