| Package | Description |
|---|---|
| net.ssehub.easy.reasoning.core.reasoner |
All classes and interfaces needed to implement a reasoner.
How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component
to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the
reasoner core. |
| Modifier and Type | Field and Description |
|---|---|
private EvaluationResult.ConstraintEvaluationResult |
EvaluationResult.EvaluationPair.result |
| Modifier and Type | Method and Description |
|---|---|
EvaluationResult.ConstraintEvaluationResult |
EvaluationResult.EvaluationPair.getResult()
Returns the evaluation result.
|
static EvaluationResult.ConstraintEvaluationResult |
EvaluationResult.ConstraintEvaluationResult.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static EvaluationResult.ConstraintEvaluationResult[] |
EvaluationResult.ConstraintEvaluationResult.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
EvaluationResult.EvaluationPair.setResult(EvaluationResult.ConstraintEvaluationResult result)
Changes the evaluation result.
|
| Constructor and Description |
|---|
EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint,
EvaluationResult.ConstraintEvaluationResult result)
Creates a pair with a given evaluation result.
|
EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint,
EvaluationResult.ConstraintEvaluationResult result,
net.ssehub.easy.varModel.model.values.Value value)
Creates a pair with a given evaluation result.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.