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"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes. -
-
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 Description private EvaluationResultAbstractChainedReasoner. evaluationResultprivate EvaluationResultChainedReasonerState. evaluationResultMethods in net.ssehub.easy.reasoning.core.frontend that return EvaluationResult Modifier and Type Method Description EvaluationResultAbstractChainedReasoner. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)EvaluationResultIReasonerInstance. evaluate(java.util.List<Constraint> constraints, 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.EvaluationResultReasonerAdapter. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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.EvaluationResultReasonerAdapter.FrontendReasonerAdapter. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)EvaluationResultReasonerAdapter.InstanceReasonerAdapter. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)EvaluationResultReasonerAdapter.IReasonerAdapter. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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.EvaluationResultReasonerFrontend. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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.EvaluationResultChainedReasonerState. 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 Description voidAbstractChainedReasoner. setState(Configuration config, EvaluationResult result)Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type EvaluationResult Constructor Description ChainedReasonerState(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 Description EvaluationResultDelegatingReasonerInstance. evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)EvaluationResultIReasoner. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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.Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type EvaluationResult Modifier and Type Method Description voidIChainingReasoner. setState(Configuration config, EvaluationResult result)Sets the state determined by the last reasoner. -
Uses of EvaluationResult in net.ssehub.easy.reasoning.sseReasoner
Methods in net.ssehub.easy.reasoning.sseReasoner that return EvaluationResult Modifier and Type Method Description EvaluationResultReasoner. evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfig, ProgressObserver observer)EvaluationResultReasoner.ReasonerInstance. evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)
-