Class BitVectorFormulaProblemSat4j

    • Constructor Detail

      • BitVectorFormulaProblemSat4j

        public BitVectorFormulaProblemSat4j()
    • Method Detail

      • getIndices

        public java.util.Map<ru.ispras.fortress.data.Variable,​java.lang.Integer> getIndices()
      • getMasks

        public java.util.Map<ru.ispras.fortress.data.Variable,​ru.ispras.fortress.data.types.bitvector.BitVector> getMasks()
      • 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 class BitVectorFormulaBuilder
        Parameters:
        formula - the sub-formula to be added.