Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
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) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.