public static final class Sat4jFormula.Builder
extends java.lang.Object
Sat4jFormula.Builder
is a Sat4jFormula
builder.Constructor and Description |
---|
Builder() |
Builder(Sat4jFormula.Builder rhs) |
Modifier and Type | Method and Description |
---|---|
void |
addAllClauses(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses) |
void |
addAllClauses(org.sat4j.specs.IVec<org.sat4j.specs.IVecInt> clauses) |
void |
addClause(org.sat4j.specs.IVecInt clause) |
Sat4jFormula |
build() |
public Builder()
public Builder(Sat4jFormula.Builder rhs)
public final void addClause(org.sat4j.specs.IVecInt clause)
public final void addAllClauses(org.sat4j.specs.IVec<org.sat4j.specs.IVecInt> clauses)
public final void addAllClauses(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
public Sat4jFormula build()