public abstract class BitVectorFormulaBuilder
extends java.lang.Object
BitVectorFormulaBuilder
represents an abstract formula builder.Constructor and Description |
---|
BitVectorFormulaBuilder() |
Modifier and Type | Method and Description |
---|---|
abstract void |
addFormula(ru.ispras.fortress.expression.Node formula)
Adds the sub-formula to the formula.
|
abstract BitVectorFormulaBuilder |
clone() |
public abstract void addFormula(ru.ispras.fortress.expression.Node formula)
formula
- the sub-formula to be added.java.lang.IllegalArgumentException
- if formula
is null.public abstract BitVectorFormulaBuilder clone()
clone
in class java.lang.Object