Class ConjunctiveConstraint

    • Constructor Detail

      • ConjunctiveConstraint

        private ConjunctiveConstraint()
      • ConjunctiveConstraint

        ConjunctiveConstraint​(FSMatchConstraint c1,
                              FSMatchConstraint c2)
        Create a conjunctive constraint from two FSMatchConstraints.
        Parameters:
        c1 - First conjunct.
        c2 - Second conjunct.
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object