Uses of Interface
org.sat4j.ILauncherMode

Packages that use ILauncherMode

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.

Uses of ILauncherMode in org.sat4j

Fields in org.sat4j declared as ILauncherMode

Modifier and Type	Field and Description
static ILauncherMode	ILauncherMode.DECISION The launcher is in decision mode: the answer is either SAT, UNSAT or UNKNOWN
static ILauncherMode	ILauncherMode.OPTIMIZATION The launcher is in optimization mode: the answer is either SAT, UPPER_BOUND, OPTIMUM_FOUND, UNSAT or UNKNOWN.

Methods in org.sat4j with parameters of type ILauncherMode

Modifier and Type	Method and Description
protected void	AbstractLauncher.setLauncherMode(ILauncherMode launcherMode)