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
 

Fields in org.sat4j.minisat.core declared as DataStructureFactory
protected  DataStructureFactory<L> Solver.dsfactory
           
 

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 internal 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)
           
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.