public final class BitVectorFormulaBuilderSimple extends BitVectorFormulaBuilder
BitVectorFormulaBuilderSimple
implements a simple formula builder.Constructor and Description |
---|
BitVectorFormulaBuilderSimple() |
BitVectorFormulaBuilderSimple(BitVectorFormulaBuilderSimple r) |
Modifier and Type | Method and Description |
---|---|
void |
addFormula(ru.ispras.fortress.expression.Node formula)
Adds the sub-formula to the formula.
|
ru.ispras.fortress.expression.Node |
build() |
BitVectorFormulaBuilderSimple |
clone() |
public BitVectorFormulaBuilderSimple()
public BitVectorFormulaBuilderSimple(BitVectorFormulaBuilderSimple r)
public ru.ispras.fortress.expression.Node build()
public void addFormula(ru.ispras.fortress.expression.Node formula)
BitVectorFormulaBuilder
addFormula
in class BitVectorFormulaBuilder
formula
- the sub-formula to be added.public BitVectorFormulaBuilderSimple clone()
clone
in class BitVectorFormulaBuilder