Class Sat4jFormula


  • public final class Sat4jFormula
    extends java.lang.Object
    Sat4jFormula represents a SAT4J formula, which is a set of clauses.
    • Constructor Detail

      • Sat4jFormula

        public Sat4jFormula​(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
    • Method Detail

      • isEmpty

        public boolean isEmpty()
      • size

        public int size()
      • getClauses

        public java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> getClauses()
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

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