diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-09-10 22:29:17 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-09-10 22:29:17 +0000 |
commit | 680af6f4dc9e5d6616918e8fde18cd64774d0df5 (patch) | |
tree | 5ec89cf302d5bc93ff1da80efa2125152d1c71b6 /src/util | |
parent | 586b07613702027fc685e55994e2a325961ca5b7 (diff) |
modified getValue to return Expr instead of Node
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/model.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util/model.h b/src/util/model.h index 747247ae1..ca7565aaa 100644 --- a/src/util/model.h +++ b/src/util/model.h @@ -22,6 +22,8 @@ #include <iostream> #include <vector> +#include "expr/expr.h" + namespace CVC4 { class Command; @@ -52,6 +54,9 @@ public: /** get type of command */ int getCommandType( int i ) { return d_command_types[i]; } public: + /** get value */ + virtual Expr getValue( const Expr& expr ) = 0; + /** to stream function */ virtual void toStream(std::ostream& out) = 0; };/* class Model */ |