diff options
Diffstat (limited to 'src/theory/quantifiers/extended_rewrite.h')
-rw-r--r-- | src/theory/quantifiers/extended_rewrite.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/quantifiers/extended_rewrite.h b/src/theory/quantifiers/extended_rewrite.h index 836e15b7b..9a0ab6382 100644 --- a/src/theory/quantifiers/extended_rewrite.h +++ b/src/theory/quantifiers/extended_rewrite.h @@ -69,6 +69,8 @@ class ExtendedRewriter Node d_false; /** cache that the extended rewritten form of n is ret */ void setCache(Node n, Node ret); + /** get the cache for n */ + Node getCache(Node n); /** add to children * * Adds nc to the vector of children, if dropDup is true, we do not add |