| 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 |
|---|---|
static ReasonerConfiguration.IAdditionalInformationLogger |
ReasonerConfiguration.ADDITIONAL_INFO_LOG_NONE |
static ReasonerConfiguration.IAdditionalInformationLogger |
ReasonerConfiguration.ADDITIONAL_INFO_LOG_SYSOUT |
private ReasonerConfiguration.IAdditionalInformationLogger |
ReasonerConfiguration.logger |
| Modifier and Type | Method and Description |
|---|---|
ReasonerConfiguration.IAdditionalInformationLogger |
ReasonerConfiguration.getLogger()
Returns the additional information logger.
|
| Modifier and Type | Method and Description |
|---|---|
void |
ReasoningResult.logInformation(net.ssehub.easy.varModel.model.Project prj,
ReasonerConfiguration.IAdditionalInformationLogger infoLogger,
boolean withMessages)
Logs reasoning summary based on
prj, the measures and the messages. |
ReasonerConfiguration |
ReasonerConfiguration.setAdditionalInformationLogger(ReasonerConfiguration.IAdditionalInformationLogger logger)
Defines the additional information logger.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.