Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::minisat::SolverFactory Class Reference

Inherits org::sat4j::core::ASolverFactory< org::sat4j::specs::ISolver >.

List of all members.


Detailed Description

User friendly access to pre-constructed solvers.

Author:
leberre

Definition at line 62 of file SolverFactory.java.


Public Member Functions

ISolver defaultSolver ()
ISolver lightSolver ()

Static Public Member Functions

static SolverFactory instance ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newActiveLearning ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newBackjumping ()
static ISolver newDefault ()
static ISolver newDimacsOutput ()
static ISolver newLight ()
static Solver< ILits23,
DataStructureFactory< ILits23 > > 
newMini3SAT ()
static Solver< ILits23,
DataStructureFactory< ILits23 > > 
newMini3SATb ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniCard ()
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniLearning (DataStructureFactory< L > dsf, IOrder< L > order)
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniLearning (DataStructureFactory< L > dsf, int n)
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniLearning (DataStructureFactory< L > dsf)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearning (int n)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearning ()
static Solver< ILits2,
DataStructureFactory< ILits2 > > 
newMiniLearning2 ()
static Solver< ILits23,
DataStructureFactory< ILits23 > > 
newMiniLearning23 ()
static Solver< ILits2,
DataStructureFactory< ILits2 > > 
newMiniLearning2Heap ()
static Solver< ILits2,
DataStructureFactory< ILits2 > > 
newMiniLearning2NewOrder ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningCB ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningCBWL ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningCBWLPure ()
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniLearningEZSimp (DataStructureFactory< L > dsf)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningEZSimp ()
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniLearningHeap (DataStructureFactory< L > dsf)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeap ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapExpSimp ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapEZSimp ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapEZSimpLongRestarts ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapEZSimpNoRestarts ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapRsatExpSimp ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapRsatExpSimpBiere ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningHeapRsatExpSimpLuby ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniLearningPure ()
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniSAT (DataStructureFactory< L > dsf)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniSAT ()
static Solver< ILits2,
DataStructureFactory< ILits2 > > 
newMiniSAT2 ()
static Solver< ILits23,
DataStructureFactory< ILits23 > > 
newMiniSAT23 ()
static Solver< ILits23,
DataStructureFactory< ILits23 > > 
newMiniSAT23Heap ()
static Solver< ILits2,
DataStructureFactory< ILits2 > > 
newMiniSAT2Heap ()
static< LextendsILits > Solver
< L, DataStructureFactory< L > > 
newMiniSATHeap (DataStructureFactory< L > dsf)
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniSATHeap ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniSATHeapExpSimp ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniSATHeapEZSimp ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newMiniSATNoRestarts ()
static ISolver newMinOneSolver ()
static Solver< ILits,
DataStructureFactory< ILits > > 
newRelsat ()

Private Member Functions

 SolverFactory ()

Static Private Member Functions

static synchronized void createInstance ()

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