Uses of Class
net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor
-
Packages that use EvaluationVisitor Package Description 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. -
-
Uses of EvaluationVisitor in net.ssehub.easy.reasoning.sseReasoner
Subclasses of EvaluationVisitor in net.ssehub.easy.reasoning.sseReasoner Modifier and Type Class Description classEvalVisitorThis class shall extendEvaluationVisitorfor using it in the Reasoning plugin.Methods in net.ssehub.easy.reasoning.sseReasoner that return EvaluationVisitor Modifier and Type Method Description protected EvaluationVisitorResolver. createEvaluationVisitor()Factory method for creating the evaluation visitor. -
Uses of EvaluationVisitor in net.ssehub.easy.reasoning.sseReasoner.model
Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as EvaluationVisitor Modifier and Type Field Description private EvaluationVisitorVariablesInNotSimpleAssignmentConstraintsFinder. evaluatorMethods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type EvaluationVisitor Modifier and Type Method Description static voidReasoningUtils. printConstraintEvaluationResult(Constraint constraint, EvaluationVisitor evaluator)Prints a constraint evaluation result (for debugging). -
Uses of EvaluationVisitor in net.ssehub.easy.varModel.confModel
Fields in net.ssehub.easy.varModel.confModel declared as EvaluationVisitor Modifier and Type Field Description protected EvaluationVisitorAssignmentResolver. evaluatorprivate EvaluationVisitorDefaultValueHelper. evaluatorMethods in net.ssehub.easy.varModel.confModel that return EvaluationVisitor Modifier and Type Method Description protected EvaluationVisitorAssignmentResolver. createEvaluationVisitor()Factory method for creating the evaluation visitor.Methods in net.ssehub.easy.varModel.confModel with parameters of type EvaluationVisitor Modifier and Type Method Description private static ValueAssignmentResolver. augmentValue(Value value, IDecisionVariable variable, EvaluationVisitor evaluator, IConfiguration config, AssignmentResolver conflictHandler)If a value of a refined compound shall the first time be assigned to a variable of a super compound (polymorphic values), then also the default values of the refined compounds shall be taken into account and augment the value.static booleanAssignmentResolver. resolveDefaultValue(IDecisionVariable variable, EvaluationVisitor evaluator)Resolves default values of a particular variable.protected static booleanAssignmentResolver. resolveDefaultValueForDeclaration(AbstractVariable decl, IDecisionVariable variable, EvaluationVisitor evaluator, IConfiguration config, AssignmentResolver conflictHandler)Resolves default values of a particular declaration. -
Uses of EvaluationVisitor in net.ssehub.easy.varModel.cstEvaluation
Fields in net.ssehub.easy.varModel.cstEvaluation declared as EvaluationVisitor Modifier and Type Field Description private EvaluationVisitorFreezeEvaluator. evalprivate EvaluationVisitorConstantValueResolver. evaluatorConstructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type EvaluationVisitor Constructor Description ConstantValueResolver(EvaluationVisitor evaluator)Creates a resolver instance. -
Uses of EvaluationVisitor in net.ssehub.easy.varModel.model.filter
Fields in net.ssehub.easy.varModel.model.filter declared as EvaluationVisitor Modifier and Type Field Description private EvaluationVisitorAbstractStateVariablesInConstraintFinder. evaluatorMethods in net.ssehub.easy.varModel.model.filter that return EvaluationVisitor Modifier and Type Method Description protected EvaluationVisitorAbstractStateVariablesInConstraintFinder. getEvaluator()Returns the evaluator.
-