Class Sat4jFormula
- java.lang.Object
-
- ru.ispras.microtesk.basis.solver.bitvector.Sat4jFormula
-
public final class Sat4jFormula extends java.lang.Object
Sat4jFormula
represents a SAT4J formula, which is a set of clauses.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Sat4jFormula.Builder
Sat4jFormula.Builder
is aSat4jFormula
builder.
-
Constructor Summary
Constructors Constructor Description Sat4jFormula(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
Sat4jFormula(Sat4jFormula rhs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>>
getClauses()
int
hashCode()
boolean
isEmpty()
int
size()
java.lang.String
toString()
-
-
-
Constructor Detail
-
Sat4jFormula
public Sat4jFormula(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
-
Sat4jFormula
public Sat4jFormula(Sat4jFormula rhs)
-
-
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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-