Class BitVectorFormulaBuilder

    • Constructor Detail

      • BitVectorFormulaBuilder

        public BitVectorFormulaBuilder()
    • 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 - if formula is null.