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 Description private classResolver.OtherConstraintsProcessorImplements 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 AbstractConstraintProcessor Modifier and Type Method Description static voidConstraintFunctions. allAssignmentConstraints(AttributeAssignment assng, AbstractConstraintProcessor processor)Processes all assignment constraints.static voidConstraintFunctions. allCompoundConstraints(Compound cmpType, AbstractConstraintProcessor processor, boolean includeConstraintVariables, boolean includeDefaults, IModelElement parent)Processes all constraints relevant to the givenCompound.
-