Class ANDTerm

    • Constructor Detail

      • ANDTerm

        public ANDTerm()
        Constructs an ANDTerm.
      • ANDTerm

        public ANDTerm​(java.util.List<Term> terms)
        Constructs an ANDTerm with a given list of embedded TermUtils .
        Parameters:
        terms - the embedded terms
    • Method Detail

      • toString

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