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.IVecInt> clauses,
                            java.util.Map<Variable,​java.lang.Integer> indices,
                            java.util.Map<Variable,​BitVector> masks)
    • Method Detail

      • isEmpty

        public boolean isEmpty()
      • size

        public int size()
      • getClauses

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

        public java.util.Map<Variable,​java.lang.Integer> getIndices()
      • toString

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