arrays

Type Members

1. class CombArray extends Theory

   

   A theory of combinatorial arrays.

2. class ExtArray extends Theory

   

   Theory of extensional arrays.

3. class SetTheory extends CombArray

   

   A theory of typed sets, implementing using combinatorial arrays.

4. class SimpleArray extends Theory

   

   Simple implementation of an array theory.