diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
| commit | 8d54316e7ff784a8d66da9ecc2d289ab463761c2 (patch) | |
| tree | c7b5351b372cb360780ce62935fb2cfb5792299a /src/expr/declaration_scope.h | |
| parent | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (diff) | |
added support for parametric datatypes, updated cvc parser to handle parametric datatypes, type ascriptions are not implemented yet
Diffstat (limited to 'src/expr/declaration_scope.h')
| -rw-r--r-- | src/expr/declaration_scope.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h index 699dca6fa..4cdb71ddc 100644 --- a/src/expr/declaration_scope.h +++ b/src/expr/declaration_scope.h @@ -175,6 +175,11 @@ public: const std::vector<Type>& params) const throw(AssertionException); /** + * Lookup the arity of a bound parameterized type. + */ + size_t lookupArity( const std::string& name ); + + /** * Pop a scope level. Deletes all bindings since the last call to * <code>pushScope</code>. Calls to <code>pushScope</code> and * <code>popScope</code> must be "properly nested." I.e., a call to |