diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
commit | 39031822cf3f9faab7b5b9e6cbce46a5194503b1 (patch) | |
tree | 7f95265819554a20a2ef4637a4a8a6a83a7cfc0b /src/parser/parser.h | |
parent | d4bfaa103d56d5c0172bf1457343a75ddea8a9b5 (diff) |
enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some documentation, and make it possible to "make doc" on a clean source tree (post-configure)
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index f7adb2b89..9765f352b 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -135,11 +135,13 @@ class CVC4_PUBLIC Parser { Expr getSymbol(const std::string& var_name, SymbolType type); protected: - /** Create a parser state. NOTE: The parser takes "ownership" of the given + /** + * Create a parser state. NOTE: The parser takes "ownership" of the given * input and will delete it on destruction. * * @param exprManager the expression manager to use when creating expressions * @param input the parser input + * @param strictMode whether to incorporate strict(er) compliance checks */ Parser(ExprManager* exprManager, Input* input, bool strictMode = false); @@ -207,13 +209,14 @@ public: /** * Returns a function, given a name. * - * @param var_name the name of the variable + * @param name the name of the variable * @return the variable expression */ Expr getFunction(const std::string& name); /** * Returns a sort, given a name. + * @param sort_name the name to look up */ Type getSort(const std::string& sort_name); @@ -267,7 +270,7 @@ public: * @param kind the built-in operator to check * @param numArgs the number of actual arguments * @throws ParserException if the parser mode is strict and the - * operator <code>kind</kind> has not been enabled + * operator <code>kind</code> has not been enabled */ void checkOperator(Kind kind, unsigned int numArgs) throw (ParserException); |