Uses of Class
net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints

Packages that use Resolver.DefaultConstraints

Package	Description
net.ssehub.easy.reasoning.sseReasoner	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.DefaultConstraints

Modifier and Type	Field and Description
private Resolver.DefaultConstraints	Resolver.defaultConstraints

Methods in net.ssehub.easy.reasoning.sseReasoner that return Resolver.DefaultConstraints

Modifier and Type	Method and Description
private Resolver.DefaultConstraints	Resolver.DefaultConstraints.initialize() Initializes this instance with defaults, i.e., new constraint lists.

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type Resolver.DefaultConstraints

Modifier and Type	Method and Description
private void	Resolver.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.DefaultConstraint	Resolver.transfer(net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint constraint, Resolver.DefaultConstraints tmp, boolean enable) Temporarily transfers the default constraint lists between Resolver.defaultConstraints and tmp.