Uses of Interface
org.sat4j.pb.core.PBDataStructureFactory

Packages that use PBDataStructureFactory

org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.constraints	Implementation of data structures for pseudo boolean constraints.
org.sat4j.pb.core	Implementations of pseudo boolean solvers

Uses of PBDataStructureFactory in org.sat4j.pb

Methods in org.sat4j.pb with parameters of type PBDataStructureFactory

static PBSolverResolution

SolverFactory.newCompetPBResMixedConstraintsObjectiveExpSimp(PBDataStructureFactory dsf)

Uses of PBDataStructureFactory in org.sat4j.pb.constraints

Classes in org.sat4j.pb.constraints that implement PBDataStructureFactory

class	AbstractPBClauseCardConstrDataStructure
class	AbstractPBDataStructureFactory
class	CompetMinHTmixedClauseCardConstrDataStructureFactory
class	CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure
class	CompetResolutionPBLongMixedHTClauseCardConstrDataStructure
class	CompetResolutionPBLongMixedWLClauseCardConstrDataStructure
class	CompetResolutionPBMixedHTClauseCardConstrDataStructure
class	CompetResolutionPBMixedWLClauseCardConstrDataStructure
class	PBLongMaxClauseCardConstrDataStructure
class	PBLongMinClauseCardConstrDataStructure
class	PBMaxClauseAtLeastConstrDataStructure
class	PBMaxClauseCardConstrDataStructure
class	PBMaxDataStructure
class	PBMinClauseCardConstrDataStructure
class	PBMinDataStructure
class	PuebloPBMinClauseAtLeastConstrDataStructure
class	PuebloPBMinClauseCardConstrDataStructure
class	PuebloPBMinDataStructure

Uses of PBDataStructureFactory in org.sat4j.pb.core

Classes in org.sat4j.pb.core with type parameters of type PBDataStructureFactory

interface

IPBCDCLSolver<D extends PBDataStructureFactory> Abstraction for Conflict Driven Clause Learning PBSolver.

Constructors in org.sat4j.pb.core with parameters of type PBDataStructureFactory

PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, int bound)

PBSolverClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, long bound)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverWithImpliedClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

Constructor parameters in org.sat4j.pb.core with type arguments of type PBDataStructureFactory

PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, int bound)

PBSolverClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, long bound)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverWithImpliedClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)