Uses of Package
net.ssehub.easy.varModel.cstEvaluation
-
Packages that use net.ssehub.easy.varModel.cstEvaluation 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.reasoning.sseReasoner.model Package for creating a reasoning model: constraint container, project hierachy evaluator and other.net.ssehub.easy.varModel.confModel This package represents a specific variability model configuration.net.ssehub.easy.varModel.cstEvaluation Implements the evaluation of constraint syntax trees.net.ssehub.easy.varModel.model.filter This package contains utility classes for filtering the model for specific model elements. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.reasoning.core.reasoner Class Description IConstraintEvaluator Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.reasoning.sseReasoner Class Description EvaluationVisitor Evaluation visitor for IVML expressions.IConstraintEvaluator Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor.IResolutionListener Informs interested parties about the resolution of a variable to a decision variable.IValueChangeListener Is called when theEvaluationVisitorchanges a value in the configuration.IValueChangeListener.ChangeKind Indicates the kind of the change.LocalDecisionVariable A local decision variable representing a parameter or a local variable. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.reasoning.sseReasoner.model Class Description EvaluationVisitor Evaluation visitor for IVML expressions. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.varModel.confModel Class Description EvaluationVisitor Evaluation visitor for IVML expressions. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.varModel.cstEvaluation Class Description AbstractDecisionVariableEvaluationAccessor An accessor based on a decision variable.ArithmeticOperationType Basic (number) operations.BooleanOperations.BinaryBooleanOperation Defines the interface for a binary boolean operation.CompoundSlotAccessor Implements an accessor for decision variables.ConstantAccessor Implements an accessor for constant values.ConstantValueResolver Implements a constant value resolution visitor.ContainerElementAccessor Implements an accessor for decision variables.ContainerIterators.CollectingIteratorEvaluator Implements an evaluator adaptor for collecting operations.ContainerOperations.Container2Operation Defines a container/container operation.ContainerOperations.ContainerArgument A combined container value / accessor.ContainerOperations.ContainerValueOperation Defines a container/value operation.ContextStack Realizes a context stack for evaluating nested self expressions.ContextStack.StackFrame Implements a poolable stack frame.EnumOperations.BinaryEnumComparisonOperation Defines the evaluation of a binary enum (literal) operation.EvaluationAccessor Defines a unified accessor to variables, constants, slots etc.EvaluationContext Some basic functionality required by the evaluators without exposing theEvaluationVisitor.EvaluationVisitor Evaluation visitor for IVML expressions.EvaluationVisitor.EvaluationContextImpl Implements the evaluation context.EvaluationVisitor.Message Extended Message class for saving variables that fail in assignments.GenericNumberOperations.INumberComparator Strategy for comparing two numbers.IConstraintEvaluator Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor.IIteratorEvaluator Provides an iterator aggregation function.IndexAccessor Implements an accessor for index access.IOperationEvaluator Evaluates an IVML operation.IResolutionListener Informs interested parties about the resolution of a variable to a decision variable.IValueChangeListener Is called when theEvaluationVisitorchanges a value in the configuration.IValueChangeListener.ChangeKind Indicates the kind of the change.LocalConfiguration Creates a local configuration instance.LocalDecisionVariable A local decision variable representing a parameter or a local variable.StaticAccessFinder Finds variables with static access in the given expression.VariableAccessor Implements an accessor for decision variables.VariableValueCopier.CopySpec Defines a copy specification.VariableValueCopier.IAssignmentListener Optional listener interface to generically track primary value assignments.VariableValueCopier.IFreezeProvider An interface providing information to create freeze blocks for new variables.VersionOperations.IVersionResultConverter A version evaluation result validator. -
Classes in net.ssehub.easy.varModel.cstEvaluation used by net.ssehub.easy.varModel.model.filter Class Description EvaluationVisitor Evaluation visitor for IVML expressions.