Uses of Interface
org.sat4j.minisat.core.DataStructureFactory

Packages that use DataStructureFactory

org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.

Uses of DataStructureFactory in org.sat4j.minisat

Methods in org.sat4j.minisat with parameters of type DataStructureFactory

static ISolver	SolverFactory.newMiniLearning(DataStructureFactory dsf)
static ISolver	SolverFactory.newMiniLearning(DataStructureFactory dsf, int n)
static ISolver	SolverFactory.newMiniLearning(DataStructureFactory dsf, IOrder order)
static ISolver	SolverFactory.newMiniLearningEZSimp(DataStructureFactory dsf)
static ISolver	SolverFactory.newMiniLearningHeap(DataStructureFactory dsf)
static ISolver	SolverFactory.newMiniSAT(DataStructureFactory dsf)
static ISolver	SolverFactory.newMiniSATHeap(DataStructureFactory dsf)

Uses of DataStructureFactory in org.sat4j.minisat.constraints

Classes in org.sat4j.minisat.constraints that implement DataStructureFactory

class	AbstractCardinalityDataStructure
class	AbstractDataStructureFactory
class	AbstractPBClauseCardConstrDataStructure
class	AbstractPBDataStructureFactory
class	CardinalityDataStructure
class	CardinalityDataStructureYanMax
class	CardinalityDataStructureYanMin
class	ClausalDataStructureCB
class	ClausalDataStructureCBWL
class	ClausalDataStructureWL
class	MixedDataStructureDaniel
class	MixedDataStructureWithBinary
class	MixedDataStructureWithBinaryAndTernary
class	PBMaxCBClauseCardConstrDataStructure
class	PBMaxClauseAtLeastConstrDataStructure
class	PBMaxClauseCardConstrDataStructure
class	PBMaxDataStructure
class	PBMinClauseCardConstrDataStructure
class	PBMinDataStructure
class	PuebloPBMinClauseAtLeastConstrDataStructure
class	PuebloPBMinClauseCardConstrDataStructure
class	PuebloPBMinDataStructure

Uses of DataStructureFactory in org.sat4j.minisat.constraints.pb

Constructors in org.sat4j.minisat.constraints.pb with parameters of type DataStructureFactory

PBSolver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverCard(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverClause(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverWithImpliedClause(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

Uses of DataStructureFactory in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that return DataStructureFactory

DataStructureFactory

Solver.getDSFactory()

Methods in org.sat4j.minisat.core with parameters of type DataStructureFactory

void	Solver.setDataStructureFactory(DataStructureFactory dsf) Change the internatal representation of the contraints.

Constructors in org.sat4j.minisat.core with parameters of type DataStructureFactory

Solver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, SearchParams params, IOrder order)

Uses of DataStructureFactory in org.sat4j.minisat.learning

Methods in org.sat4j.minisat.learning with parameters of type DataStructureFactory

void	MiniSATLearning.setDataStructureFactory(DataStructureFactory dsf)