Class Sat4jFormula.Builder
- java.lang.Object
-
- ru.ispras.microtesk.basis.solver.bitvector.Sat4jFormula.Builder
-
- Enclosing class:
- Sat4jFormula
public static final class Sat4jFormula.Builder extends java.lang.Object
Sat4jFormula.Builder
is aSat4jFormula
builder.
-
-
Constructor Summary
Constructors Constructor Description Builder()
Builder(Sat4jFormula.Builder rhs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Constructor Detail
-
Builder
public Builder()
-
Builder
public Builder(Sat4jFormula.Builder rhs)
-
-
Method Detail
-
addClause
public final void addClause(org.sat4j.specs.IVecInt clause)
-
addAllClauses
public final void addAllClauses(org.sat4j.specs.IVec<org.sat4j.specs.IVecInt> clauses)
-
addAllClauses
public final void addAllClauses(java.util.Collection<org.sat4j.specs.IVec<org.sat4j.specs.IVecInt>> clauses)
-
build
public Sat4jFormula build()
-
-