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.

Method Summary

Methods inherited from interface org.sosy_lab.java_smt.api.Formula

equals, hashCode, toString