From e3cc966c9312ffe744a89d8b9f45e88c60d6c084 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Fri, 4 Aug 2017 14:46:41 +0100 Subject: [PATCH] Fix Doxygen warnings --- src/cpp/cpp_constructor.cpp | 1 + src/util/graph.h | 2 +- src/util/invariant.h | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/cpp/cpp_constructor.cpp b/src/cpp/cpp_constructor.cpp index 9be6e8c3f01..df037cda6cb 100644 --- a/src/cpp/cpp_constructor.cpp +++ b/src/cpp/cpp_constructor.cpp @@ -18,6 +18,7 @@ Author: Daniel Kroening, kroening@cs.cmu.edu #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 diff --git a/src/util/graph.h b/src/util/graph.h index 625f5656454..a77dba7e524 100644 --- a/src/util/graph.h +++ b/src/util/graph.h @@ -581,7 +581,7 @@ void grapht::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 std::list::node_indext> grapht::topsort() const { diff --git a/src/util/invariant.h b/src/util/invariant.h index 325020a0d6e..3d0aec54ae3 100644 --- a/src/util/invariant.h +++ b/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