diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-22 23:01:16 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-22 23:01:16 +0000 |
commit | 1ca8427a5c79e2e0425a55bc83fe8572055e1660 (patch) | |
tree | c9431983b76c3884a4e34a95c7a94476b95efc51 /src/expr/node_value.cpp | |
parent | c5872ac197a68ea0686c90f3a8bd1e7cc993532d (diff) |
Merging from branch branches/Liana r241
Diffstat (limited to 'src/expr/node_value.cpp')
-rw-r--r-- | src/expr/node_value.cpp | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index 36d634b8b..52e995bf4 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -27,6 +27,8 @@ namespace CVC4 { size_t NodeValue::next_id = 1; +NodeValue NodeValue::s_null; + NodeValue::NodeValue() : d_id(0), d_rc(MAX_RC), @@ -64,22 +66,6 @@ void NodeValue::dec() { } } -NodeValue::iterator NodeValue::begin() { - return node_iterator(d_children); -} - -NodeValue::iterator NodeValue::end() { - return node_iterator(d_children + d_nchildren); -} - -NodeValue::const_iterator NodeValue::begin() const { - return const_node_iterator(d_children); -} - -NodeValue::const_iterator NodeValue::end() const { - return const_node_iterator(d_children + d_nchildren); -} - NodeValue::ev_iterator NodeValue::ev_begin() { return d_children; } |