Uses of Class net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints (EASy-Producer Documentation API)

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	Description
`private Resolver.DefaultConstraints`	Resolver.`defaultConstraints`

Methods in net.ssehub.easy.reasoning.sseReasoner that return Resolver.DefaultConstraints
Modifier and Type	Method	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	Description
`private void`	Resolver.`addDefaultConstraint(AbstractVariable decl, ConstraintSyntaxTree defaultValue, Resolver.DefaultConstraints tmp, boolean enable, IDecisionVariable var)`	Adds a default constraint.
`private DefaultConstraint`	Resolver.`transfer(DefaultConstraint constraint, Resolver.DefaultConstraints tmp, boolean enable)`	Temporarily transfers the default constraint lists between `Resolver.defaultConstraints` and `tmp`.