Package org.sosy_lab.java_smt.api

Interface ArrayFormula<TI extends Formula,​TE extends Formula>

  • Type Parameters:
    TI - Index type.
    TE - Element type.
    All Superinterfaces:
    Formula
    @Immutable
public interface ArrayFormula<TI extends Formula,​TE extends Formula>
extends Formula
    A formula of the array sort.