net.ssehub.easy.reasoning.sseReasoner.functions

Class ConstraintFunctions

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions

public class ConstraintFunctions
extends java.lang.Object

Generic constraint functions based on the AbstractConstraintProcessor.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Constructor and Description
ConstraintFunctions()

Method Summary

Modifier and Type	Method and Description
static void	allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng, AbstractConstraintProcessor processor) Processes all assignment constraints.
static void	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintFunctions

public ConstraintFunctions()

Method Detail

allCompoundConstraints

public static void 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.

Parameters:

cmpType - Compound to be processed.

processor - The constraint processor functor.

includeConstraintVariables - true whether constraint variables shall be included.

includeDefaults - true whether default value expressions shall be included.

parent - the intended parent for constraints, typically the containing project

allAssignmentConstraints

public static void allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng,
                                            AbstractConstraintProcessor processor)

Processes all assignment constraints.

Parameters:

assng - the assignment constraint

processor - the constraint processor for assignment constraints