diff options
Diffstat (limited to 'src/theory/rewriter_attributes.h')
| -rw-r--r-- | src/theory/rewriter_attributes.h | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/theory/rewriter_attributes.h b/src/theory/rewriter_attributes.h index ec120ff0c..60fa3a417 100644 --- a/src/theory/rewriter_attributes.h +++ b/src/theory/rewriter_attributes.h @@ -35,7 +35,8 @@ struct RewriteAttibute { /** * Get the value of the pre-rewrite cache. */ - static Node getPreRewriteCache(TNode node) throw() { + static Node getPreRewriteCache(TNode node) + { Node cache; if (node.hasAttribute(pre_rewrite())) { node.getAttribute(pre_rewrite(), cache); @@ -52,7 +53,8 @@ struct RewriteAttibute { /** * Set the value of the pre-rewrite cache. */ - static void setPreRewriteCache(TNode node, TNode cache) throw() { + static void setPreRewriteCache(TNode node, TNode cache) + { Trace("rewriter") << "setting pre-rewrite of " << node << " to " << cache << std::endl; Assert(!cache.isNull()); if (node == cache) { @@ -66,7 +68,8 @@ struct RewriteAttibute { * Get the value of the post-rewrite cache. * none). */ - static Node getPostRewriteCache(TNode node) throw() { + static Node getPostRewriteCache(TNode node) + { Node cache; if (node.hasAttribute(post_rewrite())) { node.getAttribute(post_rewrite(), cache); @@ -83,7 +86,8 @@ struct RewriteAttibute { /** * Set the value of the post-rewrite cache. v cannot be a null Node. */ - static void setPostRewriteCache(TNode node, TNode cache) throw() { + static void setPostRewriteCache(TNode node, TNode cache) + { Assert(!cache.isNull()); Trace("rewriter") << "setting rewrite of " << node << " to " << cache << std::endl; if (node == cache) { |