Class BitVectorFormulaBuilderSimple
- java.lang.Object
-
- ru.ispras.microtesk.basis.solver.bitvector.BitVectorFormulaBuilder
-
- ru.ispras.microtesk.basis.solver.bitvector.BitVectorFormulaBuilderSimple
-
public final class BitVectorFormulaBuilderSimple extends BitVectorFormulaBuilder
BitVectorFormulaBuilderSimple
implements a simple formula builder.
-
-
Constructor Summary
Constructors Constructor Description BitVectorFormulaBuilderSimple()
BitVectorFormulaBuilderSimple(BitVectorFormulaBuilderSimple r)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addFormula(ru.ispras.fortress.expression.Node formula)
Adds the sub-formula to the formula.ru.ispras.fortress.expression.Node
build()
BitVectorFormulaBuilderSimple
clone()
-
-
-
Constructor Detail
-
BitVectorFormulaBuilderSimple
public BitVectorFormulaBuilderSimple()
-
BitVectorFormulaBuilderSimple
public BitVectorFormulaBuilderSimple(BitVectorFormulaBuilderSimple r)
-
-
Method Detail
-
build
public ru.ispras.fortress.expression.Node build()
-
addFormula
public void addFormula(ru.ispras.fortress.expression.Node formula)
Description copied from class:BitVectorFormulaBuilder
Adds the sub-formula to the formula.- Specified by:
addFormula
in classBitVectorFormulaBuilder
- Parameters:
formula
- the sub-formula to be added.
-
clone
public BitVectorFormulaBuilderSimple clone()
- Specified by:
clone
in classBitVectorFormulaBuilder
-
-