Uses of Class
org.sat4j.core.ASolverFactory

Packages that use ASolverFactory

Package	Description
org.sat4j
org.sat4j.minisat
org.sat4j.pb
org.sat4j.pb.tools
org.sat4j.tools

Uses of ASolverFactory in org.sat4j

Subclasses of ASolverFactory in org.sat4j

Modifier and Type	Class and Description
class	LightFactory That class is the entry point to the default, best performing configuration of SAT4J.

Methods in org.sat4j with parameters of type ASolverFactory

Modifier and Type	Method and Description
protected <T extends ISolver> void	AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory)
protected <T extends ISolver> void	AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory, java.lang.String framework)

Constructors in org.sat4j with parameters of type ASolverFactory

Constructor and Description
BasicLauncher(ASolverFactory<T> factory)

Uses of ASolverFactory in org.sat4j.minisat

Subclasses of ASolverFactory in org.sat4j.minisat

Modifier and Type	Class and Description
class	SolverFactory User friendly access to pre-constructed solvers.

Uses of ASolverFactory in org.sat4j.pb

Constructors in org.sat4j.pb with parameters of type ASolverFactory

Constructor and Description
LanceurPseudo2007(ASolverFactory<IPBSolver> factory)

Uses of ASolverFactory in org.sat4j.pb.tools

Constructors in org.sat4j.pb.tools with parameters of type ASolverFactory

Constructor and Description
ManyCorePB(ASolverFactory<IPBSolver> factory, java.lang.String... solverNames)

Uses of ASolverFactory in org.sat4j.tools

Constructors in org.sat4j.tools with parameters of type ASolverFactory

Constructor and Description
AllMUSes(ASolverFactory<? extends ISolver> factory)
AllMUSes(boolean group, ASolverFactory<? extends ISolver> factory)
CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory)
ManyCore(ASolverFactory<S> factory, java.lang.String... solverNames)