Class Sat4jFormula.Builder
- java.lang.Object
-
- ru.ispras.fortress.solver.constraint.Sat4jFormula.Builder
-
- Enclosing class:
- Sat4jFormula
public static final class Sat4jFormula.Builder extends java.lang.Object
Sat4jFormula.Builder
is aSat4jFormula
builder.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(IntArray clause)
void
addAll(java.util.Collection<IntArray> clauses)
Sat4jFormula
build()
-
-
-
Constructor Detail
-
Builder
public Builder(java.util.Map<Variable,java.lang.Integer> indices, java.util.Map<Variable,BitVector> masks)
-
Builder
public Builder(Sat4jFormula.Builder rhs)
-
-
Method Detail
-
add
public final void add(IntArray clause)
-
addAll
public final void addAll(java.util.Collection<IntArray> clauses)
-
build
public Sat4jFormula build()
-
-