org.sosy_lab.solver.api

Interface ArrayFormula<TI extends Formula,TE extends Formula>

Type Parameters:

TI - Index type.

TE - Element type.

All Superinterfaces:

Formula

public interface ArrayFormula<TI extends Formula,TE extends Formula>
extends Formula

A formula of the array sort.