package arrays
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class CombArray extends Theory
A theory of combinatorial arrays.
- class ExtArray extends Theory
Theory of extensional arrays.
- class MinMaxArray extends CombArray
Integer-valued arrays with built-in operations for minimum and maximum.
- class SetTheory extends Theory with SMTLinearisableTheory
A theory of typed sets, implementing using combinatorial arrays.
- class SimpleArray extends Theory
Simple implementation of an array theory.
Value Members
- object CombArray
- object ExtArray
- object MinMaxArray
- object SetTheory
- object SimpleArray