Class ODSubConstraint


  • public class ODSubConstraint
    extends java.lang.Object
    Created by Alexander Wilts on 10.11.2016. Objects of type ODSubConstraint represent modules of constraints that can be checked independently.
    • Field Detail

      • constrExpr

        public java.lang.String constrExpr
      • optionalInOrPresent

        public boolean optionalInOrPresent
    • Constructor Detail

      • ODSubConstraint

        public ODSubConstraint​(java.util.Set<ASTMatchingObject> dependVars,
                               java.lang.String constrExpr)
      • ODSubConstraint

        public ODSubConstraint()
    • Method Detail

      • isOptionalInOrPresent

        public boolean isOptionalInOrPresent()
      • getConstrExpr

        public java.lang.String getConstrExpr()
      • getConstrExprFor

        public java.lang.String getConstrExprFor​(java.lang.String dependencyName)