Uses of Class
net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints
Packages that use Resolver.DefaultConstraints
Package
Description
Package contains the EASy-Producer reasoner implementation classes.
-
Uses of Resolver.DefaultConstraints in net.ssehub.easy.reasoning.sseReasoner
Fields in net.ssehub.easy.reasoning.sseReasoner declared as Resolver.DefaultConstraintsMethods in net.ssehub.easy.reasoning.sseReasoner that return Resolver.DefaultConstraintsModifier and TypeMethodDescriptionprivate Resolver.DefaultConstraintsResolver.DefaultConstraints.initialize()Initializes this instance with defaults, i.e., new constraint lists.Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type Resolver.DefaultConstraintsModifier and TypeMethodDescriptionprivate voidResolver.addDefaultConstraint(net.ssehub.easy.varModel.model.AbstractVariable decl, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree defaultValue, Resolver.DefaultConstraints tmp, boolean enable, net.ssehub.easy.varModel.confModel.IDecisionVariable var) Adds a default constraint.private net.ssehub.easy.reasoning.core.reasoner.DefaultConstraintResolver.transfer(net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint constraint, Resolver.DefaultConstraints tmp, boolean enable) Temporarily transfers the default constraint lists betweenResolver.defaultConstraintsandtmp.