From 528e801343c692b0ce8123f8754e069e6523f5dc Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 14 Feb 2020 17:09:59 -0600 Subject: Remove quantifiers rewrite rules infrastructure (#3754) --- src/api/cvc4cppkind.h | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/api/cvc4cppkind.h') diff --git a/src/api/cvc4cppkind.h b/src/api/cvc4cppkind.h index bb2700706..2242c8e00 100644 --- a/src/api/cvc4cppkind.h +++ b/src/api/cvc4cppkind.h @@ -2181,14 +2181,6 @@ enum CVC4_PUBLIC Kind : int32_t INST_PATTERN_LIST, /* predicate for specifying term in instantiation closure. */ INST_CLOSURE, - /* general rewrite rule (for rewrite-rules theory) */ - REWRITE_RULE, - /* actual rewrite rule (for rewrite-rules theory) */ - RR_REWRITE, - /* actual reduction rule (for rewrite-rules theory) */ - RR_REDUCTION, - /* actual deduction rule (for rewrite-rules theory) */ - RR_DEDUCTION, /* Sort Kinds ------------------------------------------------------------ */ -- cgit v1.2.3