Class PredicateConstraint

  • All Implemented Interfaces:
    IConstraint

    public class PredicateConstraint
    extends java.lang.Object
    implements IConstraint
    PredicateConstraint assures that (true == p(var1, var2, ...))
    • Field Detail

      • funcall

        protected FunctionCall funcall
        The function call.
    • Constructor Detail

      • PredicateConstraint

        public PredicateConstraint​(FunctionCall funcall)
        Create a new predicate constraint.
    • Method Detail

      • getFunctionCall

        public FunctionCall getFunctionCall()
        Get the function call.
        Returns:
        The function call.
      • getVariables

        public java.util.List getVariables()
        Get the variables.
        Specified by:
        getVariables in interface IConstraint
        Returns:
        The declared variables.
      • toString

        public java.lang.String toString()
        Get the string representation.
        Overrides:
        toString in class java.lang.Object
        Returns:
        The string representation.