Class Clause

    • Constructor Detail

      • Clause

        public Clause()
      • Clause

        public Clause​(Literal l)
      • Clause

        public Clause​(java.lang.String literals)
    • Method Detail

      • getByNegatingMonom

        public static Clause getByNegatingMonom​(Monom m)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.util.AbstractCollection<Literal>
      • isTautological

        public boolean isTautological()