diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-25 22:32:03 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-25 22:32:03 +0000 |
| commit | bfab2bde219a0cda230fb2f26d89d123918a219f (patch) | |
| tree | ea051051a3b7821127500926593b310bbf5b744a /src/expr/expr_manager.h | |
| parent | 175741488a4dd986ad69ee644617ff735b855031 (diff) | |
Adding Node::getOperator()
Removing references to ExprManager from Type, moving Type creation into NodeManager
Diffstat (limited to 'src/expr/expr_manager.h')
| -rw-r--r-- | src/expr/expr_manager.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h index 319a5d318..3ea1b581a 100644 --- a/src/expr/expr_manager.h +++ b/src/expr/expr_manager.h @@ -46,10 +46,11 @@ public: */ ~ExprManager(); - /** Get the type for booleans. */ - const BooleanType* booleanType(); + /** Get the type for booleans */ + const BooleanType* booleanType() const; + /** Get the type for sorts. */ - const KindType* kindType(); + const KindType* kindType() const; /** * Make a unary expression of a given kind (TRUE, FALSE,...). |