| 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 AttributeValues |
ReasonerConfiguration.attributeValues |
| Modifier and Type | Method and Description |
|---|---|
AttributeValues |
ReasonerConfiguration.getAttributeValues()
Returns the attribute values for reasoning.
|
static AttributeValues |
ReasonerConfiguration.getAttributeValues(ReasonerConfiguration config)
Null-safe access to the attribute values.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
AttributesCheckVisitor.check(net.ssehub.easy.varModel.confModel.Configuration configuration,
AttributeValues values,
ReasoningResult result)
Checks the given
configuration with respect to values
and adjusts result if required. |
static boolean |
AttributeValues.isEmpty(AttributeValues values)
Returns whether there are value assignments in
values. |
ReasonerConfiguration |
ReasonerConfiguration.setAttributeValues(AttributeValues attributeValues)
Changes attribute values for reasoning.
|
| Constructor and Description |
|---|
AttributesCheckVisitor(ReasoningResult result,
AttributeValues values)
Creates a new visitor storing the given instances for processing.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.