diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-10-24 21:46:34 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-10-24 21:46:34 +0000 |
| commit | a6ac7fefed613c4d83e577361f98c28a8e18f3a9 (patch) | |
| tree | cd9cf557f8bac184c9ffc5e85280f073eafb1b53 /src/theory/arith/arith_utilities.h | |
| parent | 203435906c670095b3b753077f09ad334f278bf7 (diff) | |
Updated the ArithStaticLearner to be user context dependent.
Diffstat (limited to 'src/theory/arith/arith_utilities.h')
| -rw-r--r-- | src/theory/arith/arith_utilities.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/arith_utilities.h b/src/theory/arith/arith_utilities.h index 3ae61006d..c7f511a98 100644 --- a/src/theory/arith/arith_utilities.h +++ b/src/theory/arith/arith_utilities.h @@ -33,6 +33,7 @@ namespace arith { //Sets of Nodes typedef __gnu_cxx::hash_set<Node, NodeHashFunction> NodeSet; +typedef __gnu_cxx::hash_set<TNode, TNodeHashFunction> TNodeSet; typedef context::CDHashSet<Node, NodeHashFunction> CDNodeSet; inline Node mkRationalNode(const Rational& q){ |