| Package | Description |
|---|---|
| net.ssehub.easy.reasoning.core.frontend |
Frontend to access reasoner information as well as to execute reasoning tasks.
|
| Modifier and Type | Class and Description |
|---|---|
private class |
ReasonerAdapter.FrontendReasonerAdapter
Implements a full/fallback reasoner adapter.
|
private class |
ReasonerAdapter.InstanceReasonerAdapter
Implements an instance-based reasoner adapter.
|
| Modifier and Type | Field and Description |
|---|---|
private ReasonerAdapter.IReasonerAdapter |
ReasonerAdapter.deflt |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<net.ssehub.easy.varModel.confModel.Configuration,ReasonerAdapter.IReasonerAdapter> |
ReasonerAdapter.cache |
| Modifier and Type | Method and Description |
|---|---|
private ReasonerAdapter.IReasonerAdapter |
ReasonerAdapter.getAdapter(net.ssehub.easy.varModel.confModel.Configuration cfg,
ReasonerConfiguration reasonerConfiguration)
Returns the adapter for the given configuration.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.