Uses of Interface
net.ssehub.easy.varModel.cstEvaluation.IConstraintEvaluator
-
Packages that use IConstraintEvaluator Package Description 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.net.ssehub.easy.varModel.cstEvaluation Implements the evaluation of constraint syntax trees. -
-
Uses of IConstraintEvaluator in net.ssehub.easy.reasoning.core.reasoner
Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type IConstraintEvaluator Modifier and Type Method Description voidIReasonerInterceptor. notifyEvaluation(Constraint constraint, IConstraintEvaluator evaluator)Notifies about the evaluation of a constraint.voidReasonerInterceptorAdaptor. notifyEvaluation(Constraint constraint, IConstraintEvaluator evaluator) -
Uses of IConstraintEvaluator in net.ssehub.easy.reasoning.sseReasoner
Classes in net.ssehub.easy.reasoning.sseReasoner that implement IConstraintEvaluator Modifier and Type Class Description classEvalVisitorThis class shall extendEvaluationVisitorfor using it in the Reasoning plugin. -
Uses of IConstraintEvaluator in net.ssehub.easy.varModel.cstEvaluation
Classes in net.ssehub.easy.varModel.cstEvaluation that implement IConstraintEvaluator Modifier and Type Class Description classEvaluationVisitorEvaluation visitor for IVML expressions.
-