Merge pull request #1208 from smowton/smowton/fix/doxygen_fixes

Fix Doxygen warnings

Author: smowton

src/cpp/cpp_constructor.cpp

@@ -18,6 +18,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "cpp_util.h"
 
+/// \param source_location: source location for generated code
 /// \param object: non-typechecked object
 /// \param operands: non-typechecked operands
 /// \return typechecked code

src/util/graph.h

@@ -581,7 +581,7 @@ void grapht<N>::make_chordal()
 }
 
 /// Find a topological order of the nodes if graph is DAG, return empty list for
-/// non-DAG or empty graph. Uses Kahn's algorithm running in O(#edges+#nodes).
+/// non-DAG or empty graph. Uses Kahn's algorithm running in O(n_edges+n_nodes).
 template<class N>
 std::list<typename grapht<N>::node_indext> grapht<N>::topsort() const
 {

src/util/invariant.h

@@ -142,7 +142,7 @@ void report_exception_to_stderr(const invariant_failedt &);
 /// Takes a backtrace, gives it to the reason structure, then aborts, printing
 /// reason.what() (which therefore includes the backtrace).
 /// In future this may throw `reason` instead of aborting.
-/// \param ET : (template type parameter), type of exception to construct
+/// Template parameter ET: type of exception to construct
 /// \param file : C string giving the name of the file.
 /// \param function : C string giving the name of the function.
 /// \param line : The line number of the invariant