public enum ExplanationFactory extends Enum<ExplanationFactory>
Enum Constant and Description |
---|
CBJ
add a Conflict-based jumping policy on contradiction to an explained solver.
|
DBT
add a Dynamic-Backtracking policy on contradiction to an explained solver.
|
NONE |
Modifier and Type | Method and Description |
---|---|
abstract void |
plugin(Solver solver,
boolean nogoodsOn,
boolean userFeedbackOn)
Plug explanations into coe
solver . |
static ExplanationFactory |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ExplanationFactory[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ExplanationFactory NONE
public static final ExplanationFactory CBJ
public static final ExplanationFactory DBT
public static ExplanationFactory[] values()
for (ExplanationFactory c : ExplanationFactory.values()) System.out.println(c);
public static ExplanationFactory valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic abstract void plugin(Solver solver, boolean nogoodsOn, boolean userFeedbackOn)
solver
.solver
- the solver to observenogoodsOn
- extract nogoods from conflictuserFeedbackOn
- user feedback on: propagators in conflict are available for consultationCopyright © 2015. All rights reserved.