diff options
Diffstat (limited to 'src/theory/arrays/kinds')
| -rw-r--r-- | src/theory/arrays/kinds | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/theory/arrays/kinds b/src/theory/arrays/kinds index 4ad9c7463..7738f50ca 100644 --- a/src/theory/arrays/kinds +++ b/src/theory/arrays/kinds @@ -4,7 +4,11 @@ # src/theory/builtin/kinds. # -theory ::CVC4::theory::arrays::TheoryArrays "theory_arrays.h" +theory THEORY_ARRAY ::CVC4::theory::arrays::TheoryArrays "theory/arrays/theory_arrays.h" + +properties polite stable-infinite + +rewriter ::CVC4::theory::arrays::TheoryArraysRewriter "theory/arrays/theory_arrays_rewriter.h" operator ARRAY_TYPE 2 "array type" @@ -13,3 +17,5 @@ operator SELECT 2 "array select" # store a i e is a[i] <= e operator STORE 3 "array store" + +endtheory
\ No newline at end of file |