Class BitVectorFormulaBuilder
- java.lang.Object
-
- ru.ispras.microtesk.basis.solver.bitvector.BitVectorFormulaBuilder
-
- Direct Known Subclasses:
BitVectorFormulaBuilderSimple
,BitVectorFormulaProblemSat4j
public abstract class BitVectorFormulaBuilder extends java.lang.Object
BitVectorFormulaBuilder
represents an abstract formula builder.
-
-
Constructor Summary
Constructors Constructor Description BitVectorFormulaBuilder()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract void
addFormula(ru.ispras.fortress.expression.Node formula)
Adds the sub-formula to the formula.abstract BitVectorFormulaBuilder
clone()
-
-
-
Method Detail
-
addFormula
public abstract void addFormula(ru.ispras.fortress.expression.Node formula)
Adds the sub-formula to the formula.- Parameters:
formula
- the sub-formula to be added.- Throws:
java.lang.IllegalArgumentException
- ifformula
is null.
-
clone
public abstract BitVectorFormulaBuilder clone()
- Overrides:
clone
in classjava.lang.Object
-
-