diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-16 23:30:21 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-16 23:30:21 +0000 |
| commit | 426b8722e6e32f7fab46769e4d71184bf510fd0e (patch) | |
| tree | 8a6fa139a7a599c5a659100df12f0efdc838028d /src/expr/node_manager.h | |
| parent | b33a35b720059370ffb1507f31603cdb5347503a (diff) | |
+ refactoring fixes for expr package based on code review (see bug #4)
+ minor autogen/configure fixes for old versions of autotools
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index bdbedbb4a..8caa797fa 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -47,24 +47,6 @@ public: // variables are special, because duplicates are permitted Node mkVar(); - - // TODO: these use the current NM (but must be renamed) - /* - static Node mkExpr(Kind kind) - { currentNM()->mkExpr(kind); } - static Node mkExpr(Kind kind, Node child1); - { currentNM()->mkExpr(kind, child1); } - static Node mkExpr(Kind kind, Node child1, Node child2); - { currentNM()->mkExpr(kind, child1, child2); } - static Node mkExpr(Kind kind, Node child1, Node child2, Node child3); - { currentNM()->mkExpr(kind, child1, child2, child3); } - static Node mkExpr(Kind kind, Node child1, Node child2, Node child3, Node child4); - { currentNM()->mkExpr(kind, child1, child2, child3, child4); } - static Node mkExpr(Kind kind, Node child1, Node child2, Node child3, Node child4, Node child5); - { currentNM()->mkExpr(kind, child1, child2, child3, child4, child5); } - */ - - // do we want a varargs one? perhaps not.. }; }/* CVC4 namespace */ |