3 OUTPUT_DIRECTORY = docs
5 OUTPUT_LANGUAGE = English
6 USE_WINDOWS_ENCODING = NO
7 BRIEF_MEMBER_DESC = YES
10 ALWAYS_DETAILED_SEC = NO
11 INLINE_INHERITED_MEMB = NO
16 JAVADOC_AUTOBRIEF = NO
17 MULTILINE_CPP_IS_BRIEF = NO
20 DISTRIBUTE_GROUP_DOC = NO
23 OPTIMIZE_OUTPUT_FOR_C = NO
24 OPTIMIZE_OUTPUT_JAVA = NO
29 EXTRACT_LOCAL_CLASSES = YES
30 EXTRACT_LOCAL_METHODS = NO
31 HIDE_UNDOC_MEMBERS = NO
32 HIDE_UNDOC_CLASSES = NO
33 HIDE_FRIEND_COMPOUNDS = NO
34 HIDE_IN_BODY_DOCS = NO
36 CASE_SENSE_NAMES = YES
38 SHOW_INCLUDE_FILES = YES
40 SORT_MEMBER_DOCS = YES
42 SORT_BY_SCOPE_NAME = NO
43 GENERATE_TODOLIST = YES
44 GENERATE_TESTLIST = YES
45 GENERATE_BUGLIST = YES
46 GENERATE_DEPRECATEDLIST= YES
48 MAX_INITIALIZER_LINES = 30
50 SHOW_DIRECTORIES = YES
53 WARN_IF_UNDOCUMENTED = NO
54 WARN_IF_DOC_ERROR = YES
55 WARN_FORMAT = "$file:$line: $text"
58 FILE_PATTERNS = *.cc *.h
62 EXCLUDE_PATTERNS = */bvt/*
65 EXAMPLE_RECURSIVE = NO
69 FILTER_SOURCE_FILES = NO
72 STRIP_CODE_COMMENTS = YES
73 REFERENCED_BY_RELATION = YES
74 REFERENCES_RELATION = YES
76 ALPHABETICAL_INDEX = NO
77 COLS_IN_ALPHA_INDEX = 5
81 HTML_FILE_EXTENSION = .html
82 HTML_HEADER = docs/ustlheader.html
83 HTML_FOOTER = docs/ustlfooter.html
84 HTML_STYLESHEET = docs/style/ustlstyle.css
85 HTML_ALIGN_MEMBERS = YES
86 GENERATE_HTMLHELP = NO
93 ENUM_VALUES_PER_LINE = 1
94 GENERATE_TREEVIEW = NO
98 LATEX_CMD_NAME = latex
99 MAKEINDEX_CMD_NAME = makeindex
107 LATEX_HIDE_INDICES = NO
112 RTF_STYLESHEET_FILE =
113 RTF_EXTENSIONS_FILE =
122 XML_PROGRAMLISTING = YES
123 GENERATE_AUTOGEN_DEF = NO
124 GENERATE_PERLMOD = NO
127 PERLMOD_MAKEVAR_PREFIX =
128 ENABLE_PREPROCESSING = YES
130 EXPAND_ONLY_PREDEF = NO
131 SEARCH_INCLUDES = YES
133 INCLUDE_FILE_PATTERNS =
134 PREDEFINED = DOXYGEN_SHOULD_SKIP_THIS \
137 SKIP_FUNCTION_MACROS = YES
142 PERL_PATH = /usr/bin/perl
144 HIDE_UNDOC_RELATIONS = YES
147 COLLABORATION_GRAPH = YES
149 TEMPLATE_RELATIONS = YES
151 INCLUDED_BY_GRAPH = YES
153 GRAPHICAL_HIERARCHY = NO
154 DOT_IMAGE_FORMAT = gif
157 MAX_DOT_GRAPH_WIDTH = 1024
158 MAX_DOT_GRAPH_HEIGHT = 1024
159 MAX_DOT_GRAPH_DEPTH = 0