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

Packages that use EvaluationResult

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 EvaluationResult in net.ssehub.easy.reasoning.core.frontend

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

Modifier and Type	Field and Description
private EvaluationResult	ChainedReasonerState.evaluationResult
private EvaluationResult	AbstractChainedReasoner.evaluationResult

Methods in net.ssehub.easy.reasoning.core.frontend that return EvaluationResult

Modifier and Type	Method and Description
EvaluationResult	ReasonerAdapter.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.IReasonerAdapter.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.FrontendReasonerAdapter.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
EvaluationResult	ReasonerAdapter.InstanceReasonerAdapter.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
EvaluationResult	AbstractChainedReasoner.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
EvaluationResult	ReasonerFrontend.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	IReasonerInstance.evaluate(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ChainedReasonerState.getLastEvaluationResult() Returns the last evaluation result to be passed on and considered.

Methods in net.ssehub.easy.reasoning.core.frontend with parameters of type EvaluationResult

Modifier and Type	Method and Description
void	AbstractChainedReasoner.setState(net.ssehub.easy.varModel.confModel.Configuration config, EvaluationResult result)

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

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

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

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

Modifier and Type	Method and Description
EvaluationResult	IReasoner.evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	DelegatingReasonerInstance.evaluate(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.basics.progress.ProgressObserver observer)

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type EvaluationResult

Modifier and Type	Method and Description
void	IChainingReasoner.setState(net.ssehub.easy.varModel.confModel.Configuration config, EvaluationResult result) Sets the state determined by the last reasoner.