StructuredBVA Member List

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

addClause(ClauseExchangePtr clause)	StructuredBVA	inlinevirtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)	StructuredBVA	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVariables) override	StructuredBVA	virtual
diversify(const SeedGenerator &getSeed=[](SolverInterface *s) { return s->getSolverId();})	StructuredBVA	virtual
getAlgoType()	SolverInterface	inline
getAndIncrementTypeCount()	SolverInterface	inlineprotectedstatic
getDivisionVariable()	StructuredBVA	inlinevirtual
getModel() override	StructuredBVA	inlinevirtual
getPreprocessorStatistics()	StructuredBVA	inlinevirtual
getSimplifiedFormula() override	StructuredBVA	virtual
getSolverId()	SolverInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getThreeHopHeuristic(int lit1, int lit2) (defined in StructuredBVA)	StructuredBVA
getVariablesCount() override	StructuredBVA	virtual
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
leastFrequentLiteral(simpleClause &clause, int lit) (defined in StructuredBVA)	StructuredBVA
leastOccurTieBreak(const std::vector< int > &ties, const int currentLit) (defined in StructuredBVA)	StructuredBVA	inline
loadFormula(const char *filename) override	StructuredBVA	virtual
m_algoType	SolverInterface	protected
m_initialized	SolverInterface	protected
m_solverId	SolverInterface	protected
m_solverTypeId	SolverInterface	protected
mostOccurTieBreak(const std::vector< int > &ties, const int currentLit) (defined in StructuredBVA)	StructuredBVA	inline
PreprocessorInterface(PreprocessorAlgorithm algo, int id)	PreprocessorInterface	inline
printStatistics() override	StructuredBVA	virtual
printWinningLog()	SolverInterface	virtual
randomTieBreak(const std::vector< int > &ties, const int currentLit) (defined in StructuredBVA)	StructuredBVA	inline
releaseMemory()	StructuredBVA	inlinevirtual
restoreModel(std::vector< int > &model) override	StructuredBVA	inlinevirtual
s_instanceCounts	SolverInterface	inlineprotectedstatic
setInitialized(bool value)	SolverInterface	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt() override	StructuredBVA	virtual
setSolverTypeId(unsigned int typeId)	SolverInterface	inline
setTieBreakHeuristic(SBVATieBreak tieBreak) (defined in StructuredBVA)	StructuredBVA
solve(const std::vector< int > &cube={}) override	StructuredBVA	virtual
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
StructuredBVA(int _id, unsigned long maxReplacements, bool shuffleTies)	StructuredBVA
threeHopTieBreak(const std::vector< int > &ties, const int currentLit) (defined in StructuredBVA)	StructuredBVA	inline
unsetSolverInterrupt() override	StructuredBVA	virtual
updateAdjacencyMatrix(int var) (defined in StructuredBVA)	StructuredBVA
~SolverInterface()	SolverInterface	virtual
~StructuredBVA()	StructuredBVA