Uses of Class
net.ssehub.easy.reasoning.core.reasoner.ReasoningOperation

Packages that use ReasoningOperation

Package	Description
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
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.

Uses of ReasoningOperation in net.ssehub.easy.reasoning.core.frontend

Fields in net.ssehub.easy.reasoning.core.frontend declared as ReasoningOperation

Modifier and Type	Field and Description
private ReasoningOperation	ReasoningProcess.desiredOperation

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type ReasoningOperation

Constructor and Description
ReasoningProcess(ReasoningOperation desiredOperation, net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, net.ssehub.easy.basics.progress.ProgressObserver observer) Sole constructor for this class.

Uses of ReasoningOperation in net.ssehub.easy.reasoning.core.reasoner

Methods in net.ssehub.easy.reasoning.core.reasoner that return ReasoningOperation

Modifier and Type	Method and Description
static ReasoningOperation	ReasoningOperation.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ReasoningOperation[]	ReasoningOperation.values() Returns an array containing the constants of this enum type, in the order they are declared.