Packages

package arrays

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

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.

Value Members

  1. object CombArray
  2. object ExtArray
  3. object SetTheory
  4. object SimpleArray

Ungrouped