From 18d2fd549d5058a6ea3ee782568bbc3ce00189ea Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 21 Mar 2017 16:39:25 -0500
Subject: Improve computeCareGraph functions to check shared term equality
 status once per equivalence class pair.

---
 src/theory/uf/theory_uf.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/theory/uf/theory_uf.h')

diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h
index ce9c70ca2..41bafcb84 100644
--- a/src/theory/uf/theory_uf.h
+++ b/src/theory/uf/theory_uf.h
@@ -210,6 +210,7 @@ public:
     return d_thss;
   }
 private:
+  bool areCareDisequal(TNode x, TNode y);
   void addCarePairs( quantifiers::TermArgTrie * t1, quantifiers::TermArgTrie * t2, unsigned arity, unsigned depth );
 };/* class TheoryUF */
 
-- 
cgit v1.2.3