diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-08 13:51:05 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-09 12:19:07 -0700 |
| commit | 48f96306ccb46398e8983a6274ad331e37e2e2fa (patch) | |
| tree | 324e93a13501c56a6c92dba23fcc48ef3b8628b6 /src/expr/node_value.cpp | |
| parent | 24f129a63b395a13ba10a05ff128e8e27ba75ed5 (diff) | |
Reorder NodeValue class according to our code style guidelines. (#3374)
Diffstat (limited to 'src/expr/node_value.cpp')
| -rw-r--r-- | src/expr/node_value.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index d7faf0814..ef1cd966e 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -78,5 +78,19 @@ void NodeValue::printAst(std::ostream& out, int ind) const { out << ')'; } +NodeValue::iterator<NodeTemplate<true> > operator+( + NodeValue::iterator<NodeTemplate<true> >::difference_type p, + NodeValue::iterator<NodeTemplate<true> > i) +{ + return i + p; +} + +NodeValue::iterator<NodeTemplate<false> > operator+( + NodeValue::iterator<NodeTemplate<false> >::difference_type p, + NodeValue::iterator<NodeTemplate<false> > i) +{ + return i + p; +} + } /* CVC4::expr namespace */ } /* CVC4 namespace */ |