blob: 4ea0ecd43d6bd6c135298e78f219d519b5b20b10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# kinds -*- sh -*-
#
# For documentation on this file format, please refer to
# src/theory/builtin/kinds.
#
theory THEORY_REWRITERULES ::CVC4::theory::rewriterules::TheoryRewriteRules "theory/rewriterules/theory_rewriterules.h"
typechecker "theory/rewriterules/theory_rewriterules_type_rules.h"
rewriter ::CVC4::theory::rewriterules::TheoryRewriterulesRewriter "theory/rewriterules/theory_rewriterules_rewriter.h"
properties check
# Theory content goes here.
# constants...
endtheory
|