Package net.ssehub.easy.varModel.model.filter

Class ConstraintSeparator

java.lang.Object
net.ssehub.easy.varModel.model.filter.ConstraintSeparator
public class ConstraintSeparator extends Object
Class for extracting the constraints out of a Project.
This class is also able to separate constraints into the following categories:
  • AssignmentConstraints - Assigning one value to exactly one variable
  • Constraints - all other constraints without the AssignmentConstraints
  • All constraints
Author:
El-Sharkawy

  • Field Details

  • Constructor Details

    • ConstraintSeparator

      public ConstraintSeparator(Project project)
      This constructor will consider imported projects.
      Parameters:
      project - The project, where all constraints should be found.

    • ConstraintSeparator

      public ConstraintSeparator(Project project, boolean considerImports)
      Constructor for specifying whether imported projects should be considered while finding the constraints.
      Parameters:
      project - The project, where all constraints should be found and separated into the categories mentioned above.
      considerImports - true if constraints of imported projects should also be found

  • Method Details

    • getAllConstraints

      public List<Constraint> getAllConstraints()
      Getter for returning all constraints of an ivml project.
      Returns:
      A list of all constraints in the specified ivml project.

    • getAssingmentConstraints

      public List<Constraint> getAssingmentConstraints()
      Getter for returning all AssignmentConstraints of an ivml project.
      Returns:
      A list of all AssignmentConstraints in the specified ivml project.

    • getNormalConstraints

      public List<Constraint> getNormalConstraints()
      Getter for returning all non AssignmentConstraints of an ivml project.
      Returns:
      A list of all non AssignmentConstraints in the specified ivml project.