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 <L extends ILits> Solver<L>	SolverFactory.newMiniLearning(DataStructureFactory<L> dsf)
static <L extends ILits> Solver<L>	SolverFactory.newMiniLearning(DataStructureFactory<L> dsf, int n)
static <L extends ILits> Solver<L>	SolverFactory.newMiniLearning(DataStructureFactory<L> dsf, IOrder<L> order)
static <L extends ILits> Solver<L>	SolverFactory.newMiniLearningEZSimp(DataStructureFactory<L> dsf)
static <L extends ILits> Solver<L>	SolverFactory.newMiniLearningHeap(DataStructureFactory<L> dsf)
static <L extends ILits> Solver<L>	SolverFactory.newMiniSAT(DataStructureFactory<L> dsf)
static <L extends ILits> Solver<L>	SolverFactory.newMiniSATHeap(DataStructureFactory<L> dsf)

Uses of DataStructureFactory in org.sat4j.minisat.constraints

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

class	AbstractCardinalityDataStructure
class	AbstractDataStructureFactory<L extends ILits>
class	AbstractPBClauseCardConstrDataStructure
class	AbstractPBDataStructureFactory
class	CardinalityDataStructure
class	CardinalityDataStructureYanMax
class	CardinalityDataStructureYanMin
class	ClausalDataStructureCB
class	ClausalDataStructureCBWL
class	ClausalDataStructureWL
class	MixedDataStructureDaniel
class	MixedDataStructureDanielCBWL
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<L> learner, DataStructureFactory<L> dsf, IOrder<L> order)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

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

PBSolverMerging(AssertingClauseGenerator acg, LearningStrategy<ILits> learner, DataStructureFactory<ILits> dsf, IOrder<ILits> order)

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

Uses of DataStructureFactory in org.sat4j.minisat.core

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

DataStructureFactory<L>

Solver.getDSFactory()

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

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

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

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, IOrder<L> order, RestartStrategy restarter)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

Uses of DataStructureFactory in org.sat4j.minisat.learning

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

void	MiniSATLearning.setDataStructureFactory(DataStructureFactory<L> dsf)