net.ssehub.easy.reasoning.sseReasoner

Class Reasoner.ReasonerInstance

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance

All Implemented Interfaces:

net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

Enclosing class:

Reasoner

private class Reasoner.ReasonerInstance
extends java.lang.Object
implements net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

A reusable reasoner instance.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.confModel.Configuration	cfg
private Engine	engine
private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor	interceptor
private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration	reasonerConfiguration

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor) Creates a reusable reasoner instance.

Method Summary

Modifier and Type	Method and Description
net.ssehub.easy.reasoning.core.reasoner.ReasoningResult	check(net.ssehub.easy.basics.progress.ProgressObserver observer)
net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult	createValue(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.datatypes.IDatatype type, net.ssehub.easy.basics.progress.ProgressObserver observer)
net.ssehub.easy.reasoning.core.reasoner.EvaluationResult	evaluate(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.basics.progress.ProgressObserver observer)
net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor	getDescriptor()
net.ssehub.easy.varModel.model.Project	getProject()
net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration	getReasonerConfiguration()
net.ssehub.easy.reasoning.core.reasoner.ReasoningResult	isConsistent(net.ssehub.easy.basics.progress.ProgressObserver observer)
boolean	isRunning()
void	notify(net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage message)
net.ssehub.easy.reasoning.core.reasoner.ReasoningResult	propagate(net.ssehub.easy.basics.progress.ProgressObserver observer)
boolean	stop()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

engine

private Engine engine

cfg

private net.ssehub.easy.varModel.confModel.Configuration cfg

reasonerConfiguration

private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration

interceptor

private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor

Constructor Detail

ReasonerInstance

private ReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration cfg,
                         net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration,
                         net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor)

Creates a reusable reasoner instance.

Parameters:

cfg - the configuration as a basis for the evaluation

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

interceptor - the optional reasoner interceptor (may be null)

Method Detail

getDescriptor

public net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor getDescriptor()

Specified by:

getDescriptor in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

isConsistent

public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult isConsistent(net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

isConsistent in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

check

public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult check(net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

check in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

propagate

public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult propagate(net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

propagate in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

evaluate

public net.ssehub.easy.reasoning.core.reasoner.EvaluationResult evaluate(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints,
                                                                         net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

evaluate in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

createValue

public net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult createValue(net.ssehub.easy.varModel.model.AbstractVariable var,
                                                                               net.ssehub.easy.varModel.model.datatypes.IDatatype type,
                                                                               net.ssehub.easy.basics.progress.ProgressObserver observer)

Specified by:

createValue in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

notify

public void notify(net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage message)

Specified by:

notify in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

isRunning

public boolean isRunning()

Specified by:

isRunning in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

stop

public boolean stop()

Specified by:

stop in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

getProject

public net.ssehub.easy.varModel.model.Project getProject()

Specified by:

getProject in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

getReasonerConfiguration

public net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration getReasonerConfiguration()

Specified by:

getReasonerConfiguration in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance