org.sat4j.sat

Class Solvers

java.lang.Object

org.sat4j.sat.Solvers

public final class Solvers
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	LEARNING
static String	ORDERS
static String	PARAMS
static String	PHASE
static String	RESTARTS
static String	SIMP

Method Summary

Methods

Modifier and Type	Method and Description
protected static ICDCL	configureFromString(String solverconfig, ICDCL theSolver, ILogAble logger)
static ICDCL	configureSolver(String[] args, ILogAble logger)
static boolean	containsOptValue(String[] args)
static org.apache.commons.cli.Options	createCLIOptions()
static void	showAvailableConstraintsCleaningStrategies(ILogAble logger)
static void	showAvailableLearning(ILogAble logger)
static void	showAvailableOrders(ILogAble logger)
static void	showAvailablePhase(ILogAble logger)
static void	showAvailableRestarts(ILogAble logger)
static <T extends ISolver> void	showAvailableSolvers(ASolverFactory<T> afactory, ILogAble logger)
static <T extends ISolver> void	showAvailableSolvers(ASolverFactory<T> afactory, String framework, ILogAble logger)
static void	showParams(ILogAble logger)
static void	showSimplifiers(ILogAble logger)
static void	stringUsage(ILogAble logger)
static String	uncompressed(String filename)
static void	usage(ILogAble logger)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ORDERS

public static final String ORDERS

See Also:

Constant Field Values

LEARNING

public static final String LEARNING

See Also:

Constant Field Values

RESTARTS

public static final String RESTARTS

See Also:

Constant Field Values

PHASE

public static final String PHASE

See Also:

Constant Field Values

PARAMS

public static final String PARAMS

See Also:

Constant Field Values

SIMP

public static final String SIMP

See Also:

Constant Field Values

Method Detail

configureFromString

protected static ICDCL configureFromString(String solverconfig,
                        ICDCL theSolver,
                        ILogAble logger)

createCLIOptions

public static org.apache.commons.cli.Options createCLIOptions()

stringUsage

public static void stringUsage(ILogAble logger)

containsOptValue

public static boolean containsOptValue(String[] args)

configureSolver

public static ICDCL configureSolver(String[] args,
                    ILogAble logger)

uncompressed

public static String uncompressed(String filename)

showAvailableRestarts

public static void showAvailableRestarts(ILogAble logger)

showAvailablePhase

public static void showAvailablePhase(ILogAble logger)

showAvailableLearning

public static void showAvailableLearning(ILogAble logger)

showAvailableOrders

public static void showAvailableOrders(ILogAble logger)

showParams

public static void showParams(ILogAble logger)

showSimplifiers

public static void showSimplifiers(ILogAble logger)

showAvailableConstraintsCleaningStrategies

public static void showAvailableConstraintsCleaningStrategies(ILogAble logger)

showAvailableSolvers

public static <T extends ISolver> void showAvailableSolvers(ASolverFactory<T> afactory,
                                            ILogAble logger)

showAvailableSolvers

public static <T extends ISolver> void showAvailableSolvers(ASolverFactory<T> afactory,
                                            String framework,
                                            ILogAble logger)

usage

public static void usage(ILogAble logger)