Package org.sosy_lab.java_smt.api

Interface BitvectorFormula

  • All Superinterfaces:
    Formula
    @Immutable
public interface BitvectorFormula
extends Formula
    A formula of the bitvector sort.