net.ssehub.easy.reasoning.core.frontend

Class ChainedReasonerState

java.lang.Object

net.ssehub.easy.reasoning.core.frontend.ChainedReasonerState

public class ChainedReasonerState
extends java.lang.Object

Helper class implementing a chained reasoner state. Can be used for a hybrid reasoner to signal that we are in chained reasoning. This state has both, reasoning and evaluation result. The one to use is determined by the reasoning calls to the reasoner chain.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.confModel.Configuration	config
private EvaluationResult	evaluationResult
private ReasoningResult	reasoningResult

Constructor Summary

Constructors

Constructor and Description
ChainedReasonerState(net.ssehub.easy.varModel.confModel.Configuration config, EvaluationResult evaluationResult) Creates a reasoner state.
ChainedReasonerState(net.ssehub.easy.varModel.confModel.Configuration config, ReasoningResult reasoningResult) Creates a reasoner state.

Method Summary

Modifier and Type	Method and Description
net.ssehub.easy.varModel.confModel.Configuration	getLastConfiguration() Returns the last configuration to be passed on.
EvaluationResult	getLastEvaluationResult() Returns the last evaluation result to be passed on and considered.
ReasoningResult	getLastReasoningResult() Returns the last reasoning result to be passed on and considered.

Methods inherited from class java.lang.Object

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

Field Detail

config

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

reasoningResult

private ReasoningResult reasoningResult

evaluationResult

private EvaluationResult evaluationResult

Constructor Detail

ChainedReasonerState

public ChainedReasonerState(net.ssehub.easy.varModel.confModel.Configuration config,
                            ReasoningResult reasoningResult)

Creates a reasoner state.

Parameters:

config - the configuration to reason on (instead of the one passed in through the usual methods)

reasoningResult - the reasoning result of the last reasoner step (may be null for the first reasoner in a chain)

ChainedReasonerState

public ChainedReasonerState(net.ssehub.easy.varModel.confModel.Configuration config,
                            EvaluationResult evaluationResult)

Creates a reasoner state.

Parameters:

config - the configuration to reason on (instead of the one passed in through the usual methods)

evaluationResult - the evaluation result of the last reasoner step (may be null for the first reasoner in a chain)

Method Detail

getLastConfiguration

public net.ssehub.easy.varModel.confModel.Configuration getLastConfiguration()

Returns the last configuration to be passed on.

Returns:

the last configuration

getLastReasoningResult

public ReasoningResult getLastReasoningResult()

Returns the last reasoning result to be passed on and considered.

Returns:

the last reasoning result (may be null for the first reasoner in a chain)

getLastEvaluationResult

public EvaluationResult getLastEvaluationResult()

Returns the last evaluation result to be passed on and considered.

Returns:

the last evaluation result (may be null for the first reasoner in a chain)