arrays

Type Members

1. class CombArray extends Theory

   

   A theory of combinatorial arrays.

2. class ExtArray extends Theory

   

   Theory of extensional arrays.

3. class MinMaxArray extends CombArray

   

   Integer-valued arrays with built-in operations for minimum and maximum.

4. class SetTheory extends Theory with SMTLinearisableTheory

   

   A theory of typed sets, implementing using combinatorial arrays.

5. class SimpleArray extends Theory

   

   Simple implementation of an array theory.