Package | Description |
---|---|
org.sat4j |
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.
|
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractLauncher.setLauncherMode(ILauncherMode launcherMode) |