Uses of Class
net.ssehub.easy.varModel.cstEvaluation.LocalConfiguration
Packages that use LocalConfiguration
Package
Description
Implements the evaluation of constraint syntax trees.
-
Uses of LocalConfiguration in net.ssehub.easy.varModel.cstEvaluation
Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type LocalConfigurationModifier and TypeMethodDescriptionprivate LocalDecisionVariableEvaluationVisitor.addLocalVariable(LocalConfiguration cfg, DecisionVariableDeclaration decl, ConstraintSyntaxTree initEx, boolean notify) Adds a new local decision variable based ondecltocfg.