Document value_sett

smowton · Nov 26, 2017 · 6ebceca · 6ebceca
1 parent 8bcca68
commit 6ebceca
Show file tree

Hide file tree

Showing 2 changed files with 218 additions and 5 deletions.
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -33,6 +33,9 @@ Author: Daniel Kroening, [email protected]
 
 #include "add_failed_symbols.h"
 
+// Due to a large number of functions defined inline, `value_sett` and
+// associated types are documented in its header file, `value_set.h`.
+
 const value_sett::object_map_dt value_sett::object_map_dt::blank{};
 object_numberingt value_sett::object_numbering;