diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node_manager.h | 8 | ||||
-rw-r--r-- | src/parser/input.h | 1 | ||||
-rw-r--r-- | src/parser/parser_state.h | 4 | ||||
-rw-r--r-- | src/theory/theory_engine.h | 2 |
4 files changed, 8 insertions, 7 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 0f8938397..c3f5238d6 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -356,7 +356,7 @@ public: */ template <class AttrKind> inline void setAttribute(expr::NodeValue* nv, - const AttrKind&, + const AttrKind& attr, const typename AttrKind::value_type& value); /** @@ -368,8 +368,8 @@ public: * <code>AttrKind::value_type</code> if not. */ template <class AttrKind> - inline typename AttrKind::value_type getAttribute(TNode n, - const AttrKind&) const; + inline typename AttrKind::value_type + getAttribute(TNode n, const AttrKind& attr) const; /** * Check whether an attribute is set for a TNode. @@ -410,7 +410,7 @@ public: */ template <class AttrKind> inline void setAttribute(TNode n, - const AttrKind&, + const AttrKind& attr, const typename AttrKind::value_type& value); /** Get the (singleton) type for booleans. */ diff --git a/src/parser/input.h b/src/parser/input.h index f109036ed..a32416305 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -73,6 +73,7 @@ public: * @param exprManager the ExprManager for creating expressions from the input * @param lang the input language * @param filename the input filename + * @param useMmap true if the parser should use memory-mapped I/O (default: false) */ static Input* newFileInput(ExprManager* exprManager, InputLanguage lang, const std::string& filename, bool useMmap=false); diff --git a/src/parser/parser_state.h b/src/parser/parser_state.h index dc188b7d1..3e0771070 100644 --- a/src/parser/parser_state.h +++ b/src/parser/parser_state.h @@ -199,7 +199,7 @@ public: void checkFunction(const std::string& name) throw (ParserException); /** - * Check that <code>kind</code> can accept <code>numArgs</codes> arguments. + * Check that <code>kind</code> can accept <code>numArgs</code> arguments. * @param kind the built-in operator to check * @param numArgs the number of actual arguments * @throws ParserException if checks are enabled and the operator <code>kind</code> cannot be @@ -209,7 +209,7 @@ public: /** * Returns the type for the variable with the given name. - * @param name the symbol to lookup + * @param var_name the symbol to lookup * @param type the (namespace) type of the symbol */ Type* getType(const std::string& var_name, SymbolType type = SYM_VARIABLE); diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index df829ac01..37542d952 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -235,7 +235,7 @@ public: /** * Preprocess a node. This involves theory-specific rewriting, then * calling preRegisterTerm() on what's left over. - * @param the node to preprocess + * @param n the node to preprocess */ Node preprocess(TNode n); |