Uses of Class
net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor
Packages that use AbstractConstraintProcessor
Package
Description
Package contains the EASy-Producer reasoner implementation classes.
Package contains custom functions for IVML.
-
Uses of AbstractConstraintProcessor in net.ssehub.easy.reasoning.sseReasoner
Subclasses of AbstractConstraintProcessor in net.ssehub.easy.reasoning.sseReasonerModifier and TypeClassDescriptionprivate classImplements a processor for constraints, for which variables (including the variable mapping) shall be substituted and the result shall be added toResolver.otherConstraints. -
Uses of AbstractConstraintProcessor in net.ssehub.easy.reasoning.sseReasoner.functions
Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type AbstractConstraintProcessorModifier and TypeMethodDescriptionstatic voidConstraintFunctions.allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng, AbstractConstraintProcessor processor) Processes all assignment constraints.static voidConstraintFunctions.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 givenCompound.