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 LearnedConstraintsEvaluationType |
LearnedConstraintsEvaluationType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static LearnedConstraintsEvaluationType[] |
LearnedConstraintsEvaluationType.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.setLearnedConstraintsDeletionStrategy(ConflictTimer timer,
LearnedConstraintsEvaluationType evaluation) |
void |
Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer timer,
LearnedConstraintsEvaluationType evaluation) |
void |
ICDCL.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType evaluation) |
void |
Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType evaluation) |
Modifier and Type | Method and Description |
---|---|
LearnedConstraintsEvaluationType |
DetailedCommandPanel.getLearnedConstraintsEvaluationType() |
Modifier and Type | Method and Description |
---|---|
void |
DetailedCommandPanel.setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type) |
void |
SolverController.setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.