public final class Sat4jFormula
extends java.lang.Object
Sat4jFormula
represents a SAT4J formula, which is a set of clauses.Modifier and Type | Class and Description |
---|---|
static class |
Sat4jFormula.Builder
Sat4jFormula.Builder is a Sat4jFormula builder. |
Constructor and Description |
---|
Sat4jFormula(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses) |
Sat4jFormula(Sat4jFormula rhs) |
Modifier and Type | Method and 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() |
public Sat4jFormula(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
public Sat4jFormula(Sat4jFormula rhs)
public boolean isEmpty()
public int size()
public java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> getClauses()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object