Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Method and Description |
---|---|
static SimplificationType |
SimplificationType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SimplificationType[] |
SimplificationType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
ICDCL.setSimplifier(SimplificationType simp)
Setup the reason simplification strategy.
|
void |
Solver.setSimplifier(SimplificationType simp) |
Modifier and Type | Method and Description |
---|---|
void |
DetailedCommandPanel.setSimplifier(SimplificationType type) |
void |
SolverController.setSimplifier(SimplificationType type) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.