Uses of Class
net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

Packages that use AbstractConstraintProcessor

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

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

Subclasses of AbstractConstraintProcessor in net.ssehub.easy.reasoning.sseReasoner

Modifier and Type	Class and Description
private class	Resolver.OtherConstraintsProcessor Implements a processor for constraints, for which variables (including the variable mapping) shall be substituted and the result shall be added to Resolver.otherConstraints.

Uses of AbstractConstraintProcessor in net.ssehub.easy.reasoning.sseReasoner.functions

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

Modifier and Type	Method and Description
static void	ConstraintFunctions.allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng, AbstractConstraintProcessor processor) Processes all assignment constraints.
static void	ConstraintFunctions.allCompoundConstraints(net.ssehub.easy.varModel.model.datatypes.Compound cmpType, AbstractConstraintProcessor processor, boolean includeConstraintVariables, boolean includeDefaults, net.ssehub.easy.varModel.model.IModelElement parent) Processes all constraints relevant to the given Compound.