From 967747b7b279256bd9368e2d392ae71dec1bb1c1 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 5 Jul 2016 15:11:28 -0500
Subject: Add option --trigger-active-sel. Recognize simple triggers with
 polarity. Do not drop patterns from merged prenex (fixes bug 743).

---
 src/theory/quantifiers/trigger.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/theory/quantifiers/trigger.h')

diff --git a/src/theory/quantifiers/trigger.h b/src/theory/quantifiers/trigger.h
index a3da4d398..6d7bf1f4d 100644
--- a/src/theory/quantifiers/trigger.h
+++ b/src/theory/quantifiers/trigger.h
@@ -134,6 +134,7 @@ class Trigger {
     }
     Trace(c) << " )";
   }
+  int getActiveScore();
 private:
   /** trigger constructor */
   Trigger( QuantifiersEngine* ie, Node f, std::vector< Node >& nodes );
-- 
cgit v1.2.3