Uses of Class
net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint

Packages that use DefaultConstraint

Package	Description
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.

Uses of DefaultConstraint in net.ssehub.easy.reasoning.sseReasoner

Methods in net.ssehub.easy.reasoning.sseReasoner that return DefaultConstraint

Modifier and Type	Method	Description
private DefaultConstraint	Resolver.transfer(DefaultConstraint constraint, Resolver.DefaultConstraints tmp, boolean enable)	Temporarily transfers the default constraint lists between Resolver.defaultConstraints and tmp.

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

Modifier and Type	Method	Description
private DefaultConstraint	Resolver.transfer(DefaultConstraint constraint, Resolver.DefaultConstraints tmp, boolean enable)	Temporarily transfers the default constraint lists between Resolver.defaultConstraints and tmp.