apply arithmetic static learner's miplibtrick in a consistent order (for easier replication of experiment)

1 files changed, 21 insertions, 0 deletions

diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h
index 02274318f..f2405cd5c 100644
--- a/src/theory/arith/arith_static_learner.h
+++ b/src/theory/arith/arith_static_learner.h
@@ -1,3 +1,22 @@
+/*********************                                                        */
+/*! \file arith_static_learner.h
+ ** \verbatim
+ ** Original author: taking
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief [[ Add one-line brief description here ]]
+ **
+ ** [[ Add lengthier description here ]]
+ ** \todo document this file
+ **/
+
 #include "cvc4_private.h"
 
 #ifndef __CVC4__THEORY__ARITH__ARITH_STATIC_LEARNER_H
@@ -7,6 +26,7 @@
 #include "util/stats.h"
 #include "theory/arith/arith_utilities.h"
 #include <set>
+#include <list>
 
 namespace CVC4 {
 namespace theory {
@@ -22,6 +42,7 @@ private:
    */
   typedef __gnu_cxx::hash_map<Node, std::set<Node>, NodeHashFunction> VarToNodeSetMap;
   VarToNodeSetMap d_miplibTrick;
+  std::list<TNode> d_miplibTrickKeys;
 
 public:
   ArithStaticLearner();