Class ORTerm

    • Constructor Detail

      • ORTerm

        public ORTerm()
        Constructs an ORTerm.
      • ORTerm

        public ORTerm​(java.util.List<Term> terms)
        Constructs an ORTerm 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