Package net.ssehub.easy.reasoning.sseReasoner.functions

Class ConstraintFunctions

java.lang.Object
net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions
public class ConstraintFunctions extends Object
Generic constraint functions based on the AbstractConstraintProcessor.
Author:
Holger Eichelberger

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    private static class 
    ConstraintFunctions.TransitiveConstraintFinder
    A transitive constraint/variables finder.

  • Constructor Summary

    Constructors
    Constructor
    Description
    ConstraintFunctions()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    addConstraintsToProject(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.Project scope, net.ssehub.easy.varModel.model.Project target)
    Adds constraints related to var and transitively related constraints and variables in scope to target although the parent relationships of the added variables/constraints are then not correct.
    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 Details

    • ConstraintFunctions

      public ConstraintFunctions()

  • Method Details

    • 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

    • addConstraintsToProject

      public static void addConstraintsToProject(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.Project scope, net.ssehub.easy.varModel.model.Project target)
      Adds constraints related to var and transitively related constraints and variables in scope to target although the parent relationships of the added variables/constraints are then not correct. This method is intended for creating temporary projects/configurations.
      Parameters:
      var - the variable used as starting point for the transitive search
      scope - the search scope including imports
      target - the target project to add the elements to