Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>

1 files changed, 6 insertions, 0 deletions

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index b76051279..b22290ae4 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -74,6 +74,12 @@ protected:
    */
   const bool d_fullLitToNodeMap;
 
+  /**
+   * Counter for resource limiting that is used to spend a resource
+   * every ResourceManager::resourceCounter calls to convertAndAssert.
+   */
+  unsigned long d_convertAndAssertCounter;
+
   /** The "registrar" for pre-registration of terms */
   Registrar* d_registrar;