Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::pb::SolverFactory Class Reference

Inherits org::sat4j::core::ASolverFactory< org::sat4j::pb::IPBSolver >, and java::io::Serializable.

List of all members.


Detailed Description

User friendly access to pre-constructed solvers.

Author:
leberre

Definition at line 69 of file SolverFactory.java.


Public Member Functions

IPBSolver defaultSolver ()
IPBSolver lightSolver ()

Static Public Member Functions

static SolverFactory instance ()
static PBSolverCP< ILitsnewCompetMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause ()
static PBSolverWithImpliedClause newCompetPBCPMixedConstrainsImplied ()
static PBSolverCP< ILitsnewCompetPBCPMixedConstraints ()
static PBSolverCP< ILitsnewCompetPBCPMixedConstraintsObjective ()
static PBSolverCP< ILitsnewCompetPBCPMixedConstraintsObjectiveLearnJustClauses ()
static PBSolverCP< ILitsnewCompetPBCPMixedConstraintsObjectiveNoLearning ()
static PBSolverClause newCompetPBCPMixedConstraintsReduceToClause ()
static PBSolverCP< ILitsnewCompetPBKillerClassic ()
static PBSolverCP< ILitsnewCompetPBKillerFixed ()
static PBSolverCP< ILitsnewCompetPBKillerRSAT ()
static PBSolverResolution newCompetPBResMixedConstraintsObjective ()
static PBSolverResolution newCompetPBResMixedConstraintsObjectiveExpSimp ()
static IPBSolver newDefault ()
static ISolver newDimacsOutput ()
static IPBSolver newEclipseP2 ()
static IPBSolver newLight ()
static PBSolverCP< ILitsnewMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause ()
static PBSolverCP< ILitsnewMiniOPBClauseAtLeastConstrMax ()
static PBSolverCP< ILitsnewMiniOPBClauseAtLeastMinPueblo ()
static PBSolverCP< ILitsnewMiniOPBClauseCardMin ()
static PBSolverCP< ILitsnewMiniOPBClauseCardMinPueblo ()
static PBSolverCP< ILitsnewMiniOPBCounterBasedClauseCardConstrMax ()
static IPBSolver newOPBStringSolver ()
static PBSolverCP< ILitsnewPBCPAllPB ()
static PBSolverCP< ILitsnewPBCPAllPBWL ()
static PBSolverCP< ILitsnewPBCPAllPBWLPueblo ()
static PBSolverWithImpliedClause newPBCPMixedConstrainsImplied ()
static PBSolverCP< ILitsnewPBCPMixedConstraints ()
static PBSolverCP< ILitsnewPBCPMixedConstraintsObjective ()
static PBSolverCP< ILitsnewPBCPMixedConstraintsObjectiveLearnJustClauses ()
static PBSolverCP< ILitsnewPBCPMixedConstraintsObjectiveNoLearning ()
static PBSolverClause newPBCPMixedConstraintsReduceToClause ()
static PBSolverCP< ILitsnewPBKillerClassic ()
static PBSolverCP< ILitsnewPBKillerFixed ()
static PBSolverCP< ILitsnewPBKillerRSAT ()
static PBSolverResolution newPBResAllPB ()
static PBSolverResolution newPBResAllPBWL ()
static PBSolverResolution newPBResAllPBWLPueblo ()
static PBSolverResolution newPBResMixedConstraintsObjective ()

Private Member Functions

 SolverFactory ()

Static Private Member Functions

static synchronized void createInstance ()
static PBSolverCP< ILitsnewCompetPBKiller (IPhaseSelectionStrategy phase)
static PBSolverCP< ILitsnewPBCP (PBDataStructureFactory< ILits > dsf)
static PBSolverCP< ILitsnewPBCP (PBDataStructureFactory< ILits > dsf, IOrder< ILits > order)
static PBSolverCP< ILitsnewPBKiller (IPhaseSelectionStrategy phase)
static PBSolverResolution newPBRes (PBDataStructureFactory< ILits > dsf)

Static Private Attributes

static SolverFactory instance
static final long serialVersionUID = 1L

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index