3 # This file describes the settings to be used by the documentation system
4 # doxygen (www.doxygen.org) for a project
6 # All text after a hash (#) is considered a comment and will be ignored
8 # TAG = value [value, ...]
9 # For lists items can also be appended using:
10 # TAG += value [value, ...]
11 # Values that contain spaces should be placed between quotes (" ")
13 #---------------------------------------------------------------------------
14 # Project related configuration options
15 #---------------------------------------------------------------------------
17 # This tag specifies the encoding used for all characters in the config file
18 # that follow. The default is UTF-8 which is also the encoding used for all
19 # text before the first occurrence of this tag. Doxygen uses libiconv (or the
20 # iconv built into libc) for the transcoding. See
21 # http://www.gnu.org/software/libiconv for the list of possible encodings.
23 DOXYFILE_ENCODING = UTF-8
25 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded
26 # by quotes) that should identify the project.
28 PROJECT_NAME = $(PROJECT)-$(VERSION)
30 # The PROJECT_NUMBER tag can be used to enter a project or revision number.
31 # This could be handy for archiving the generated documentation or
32 # if some version control system is used.
36 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute)
37 # base path where the generated documentation will be put.
38 # If a relative path is entered, it will be relative to the location
39 # where doxygen was started. If left blank the current directory will be used.
41 OUTPUT_DIRECTORY = $(DOCDIR)
43 # If the CREATE_SUBDIRS tag is set to YES, then doxygen will create
44 # 4096 sub-directories (in 2 levels) under the output directory of each output
45 # format and will distribute the generated files over these directories.
46 # Enabling this option can be useful when feeding doxygen a huge amount of
47 # source files, where putting all generated files in the same directory would
48 # otherwise cause performance problems for the file system.
52 # The OUTPUT_LANGUAGE tag is used to specify the language in which all
53 # documentation generated by doxygen is written. Doxygen will use this
54 # information to generate all constant output in the proper language.
55 # The default language is English, other supported languages are:
56 # Afrikaans, Arabic, Brazilian, Catalan, Chinese, Chinese-Traditional,
57 # Croatian, Czech, Danish, Dutch, Esperanto, Farsi, Finnish, French, German,
58 # Greek, Hungarian, Italian, Japanese, Japanese-en (Japanese with English
59 # messages), Korean, Korean-en, Lithuanian, Norwegian, Macedonian, Persian,
60 # Polish, Portuguese, Romanian, Russian, Serbian, Serbian-Cyrilic, Slovak,
61 # Slovene, Spanish, Swedish, Ukrainian, and Vietnamese.
63 OUTPUT_LANGUAGE = English
65 # If the BRIEF_MEMBER_DESC tag is set to YES (the default) Doxygen will
66 # include brief member descriptions after the members that are listed in
67 # the file and class documentation (similar to JavaDoc).
68 # Set to NO to disable this.
70 BRIEF_MEMBER_DESC = YES
72 # If the REPEAT_BRIEF tag is set to YES (the default) Doxygen will prepend
73 # the brief description of a member or function before the detailed description.
74 # Note: if both HIDE_UNDOC_MEMBERS and BRIEF_MEMBER_DESC are set to NO, the
75 # brief descriptions will be completely suppressed.
79 # This tag implements a quasi-intelligent brief description abbreviator
80 # that is used to form the text in various listings. Each string
81 # in this list, if found as the leading text of the brief description, will be
82 # stripped from the text and the result after processing the whole list, is
83 # used as the annotated text. Otherwise, the brief description is used as-is.
84 # If left blank, the following values are used ("$name" is automatically
85 # replaced with the name of the entity): "The $name class" "The $name widget"
86 # "The $name file" "is" "provides" "specifies" "contains"
87 # "represents" "a" "an" "the"
91 # If the ALWAYS_DETAILED_SEC and REPEAT_BRIEF tags are both set to YES then
92 # Doxygen will generate a detailed section even if there is only a brief
95 ALWAYS_DETAILED_SEC = NO
97 # If the INLINE_INHERITED_MEMB tag is set to YES, doxygen will show all
98 # inherited members of a class in the documentation of that class as if those
99 # members were ordinary class members. Constructors, destructors and assignment
100 # operators of the base classes will not be shown.
102 INLINE_INHERITED_MEMB = YES
104 # If the FULL_PATH_NAMES tag is set to YES then Doxygen will prepend the full
105 # path before files name in the file list and in the header files. If set
106 # to NO the shortest path that makes the file name unique will be used.
108 FULL_PATH_NAMES = YES
110 # If the FULL_PATH_NAMES tag is set to YES then the STRIP_FROM_PATH tag
111 # can be used to strip a user-defined part of the path. Stripping is
112 # only done if one of the specified strings matches the left-hand part of
113 # the path. The tag can be used to show relative paths in the file list.
114 # If left blank the directory from which doxygen is run is used as the
117 STRIP_FROM_PATH = $(SRCDIR)
119 # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of
120 # the path mentioned in the documentation of a class, which tells
121 # the reader which header file to include in order to use a class.
122 # If left blank only the name of the header file containing the class
123 # definition is used. Otherwise one should specify the include paths that
124 # are normally passed to the compiler using the -I flag.
126 STRIP_FROM_INC_PATH =
128 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter
129 # (but less readable) file names. This can be useful is your file systems
130 # doesn't support long names like on DOS, Mac, or CD-ROM.
134 # If the JAVADOC_AUTOBRIEF tag is set to YES then Doxygen
135 # will interpret the first line (until the first dot) of a JavaDoc-style
136 # comment as the brief description. If set to NO, the JavaDoc
137 # comments will behave just like regular Qt-style comments
138 # (thus requiring an explicit @brief command for a brief description.)
140 JAVADOC_AUTOBRIEF = YES
142 # If the QT_AUTOBRIEF tag is set to YES then Doxygen will
143 # interpret the first line (until the first dot) of a Qt-style
144 # comment as the brief description. If set to NO, the comments
145 # will behave just like regular Qt-style comments (thus requiring
146 # an explicit \brief command for a brief description.)
150 # The MULTILINE_CPP_IS_BRIEF tag can be set to YES to make Doxygen
151 # treat a multi-line C++ special comment block (i.e. a block of //! or ///
152 # comments) as a brief description. This used to be the default behaviour.
153 # The new default is to treat a multi-line C++ comment block as a detailed
154 # description. Set this tag to YES if you prefer the old behaviour instead.
156 MULTILINE_CPP_IS_BRIEF = NO
158 # If the INHERIT_DOCS tag is set to YES (the default) then an undocumented
159 # member inherits the documentation from any documented member that it
164 # If the SEPARATE_MEMBER_PAGES tag is set to YES, then doxygen will produce
165 # a new page for each member. If set to NO, the documentation of a member will
166 # be part of the file/class/namespace that contains it.
168 SEPARATE_MEMBER_PAGES = NO
170 # The TAB_SIZE tag can be used to set the number of spaces in a tab.
171 # Doxygen uses this value to replace tabs by spaces in code fragments.
175 # This tag can be used to specify a number of aliases that acts
176 # as commands in the documentation. An alias has the form "name=value".
177 # For example adding "sideeffect=\par Side Effects:\n" will allow you to
178 # put the command \sideeffect (or @sideeffect) in the documentation, which
179 # will result in a user-defined paragraph with heading "Side Effects:".
180 # You can put \n's in the value part of an alias to insert newlines.
184 # Set the OPTIMIZE_OUTPUT_FOR_C tag to YES if your project consists of C
185 # sources only. Doxygen will then generate output that is more tailored for C.
186 # For instance, some of the names that are used will be different. The list
187 # of all members will be omitted, etc.
189 OPTIMIZE_OUTPUT_FOR_C = YES
191 # Set the OPTIMIZE_OUTPUT_JAVA tag to YES if your project consists of Java
192 # sources only. Doxygen will then generate output that is more tailored for
193 # Java. For instance, namespaces will be presented as packages, qualified
194 # scopes will look different, etc.
196 OPTIMIZE_OUTPUT_JAVA = NO
198 # Set the OPTIMIZE_FOR_FORTRAN tag to YES if your project consists of Fortran
199 # sources only. Doxygen will then generate output that is more tailored for
202 OPTIMIZE_FOR_FORTRAN = NO
204 # Set the OPTIMIZE_OUTPUT_VHDL tag to YES if your project consists of VHDL
205 # sources. Doxygen will then generate output that is tailored for
208 OPTIMIZE_OUTPUT_VHDL = NO
210 # Doxygen selects the parser to use depending on the extension of the files it parses.
211 # With this tag you can assign which parser to use for a given extension.
212 # Doxygen has a built-in mapping, but you can override or extend it using this tag.
213 # The format is ext=language, where ext is a file extension, and language is one of
214 # the parsers supported by doxygen: IDL, Java, Javascript, C#, C, C++, D, PHP,
215 # Objective-C, Python, Fortran, VHDL, C, C++. For instance to make doxygen treat
216 # .inc files as Fortran files (default is PHP), and .f files as C (default is Fortran),
217 # use: inc=Fortran f=C. Note that for custom extensions you also need to set FILE_PATTERNS otherwise the files are not read by doxygen.
221 # If you use STL classes (i.e. std::string, std::vector, etc.) but do not want
222 # to include (a tag file for) the STL sources as input, then you should
223 # set this tag to YES in order to let doxygen match functions declarations and
224 # definitions whose arguments contain STL classes (e.g. func(std::string); v.s.
225 # func(std::string) {}). This also make the inheritance and collaboration
226 # diagrams that involve STL classes more complete and accurate.
228 BUILTIN_STL_SUPPORT = YES
230 # If you use Microsoft's C++/CLI language, you should set this option to YES to
231 # enable parsing support.
235 # Set the SIP_SUPPORT tag to YES if your project consists of sip sources only.
236 # Doxygen will parse them like normal C++ but will assume all classes use public
237 # instead of private inheritance when no explicit protection keyword is present.
241 # For Microsoft's IDL there are propget and propput attributes to indicate getter
242 # and setter methods for a property. Setting this option to YES (the default)
243 # will make doxygen to replace the get and set methods by a property in the
244 # documentation. This will only work if the methods are indeed getting or
245 # setting a simple type. If this is not the case, or you want to show the
246 # methods anyway, you should set this option to NO.
248 IDL_PROPERTY_SUPPORT = YES
250 # If member grouping is used in the documentation and the DISTRIBUTE_GROUP_DOC
251 # tag is set to YES, then doxygen will reuse the documentation of the first
252 # member in the group (if any) for the other members of the group. By default
253 # all members of a group must be documented explicitly.
255 DISTRIBUTE_GROUP_DOC = NO
257 # Set the SUBGROUPING tag to YES (the default) to allow class member groups of
258 # the same type (for instance a group of public functions) to be put as a
259 # subgroup of that type (e.g. under the Public Functions section). Set it to
260 # NO to prevent subgrouping. Alternatively, this can be done per class using
261 # the \nosubgrouping command.
265 # When TYPEDEF_HIDES_STRUCT is enabled, a typedef of a struct, union, or enum
266 # is documented as struct, union, or enum with the name of the typedef. So
267 # typedef struct TypeS {} TypeT, will appear in the documentation as a struct
268 # with name TypeT. When disabled the typedef will appear as a member of a file,
269 # namespace, or class. And the struct will be named TypeS. This can typically
270 # be useful for C code in case the coding convention dictates that all compound
271 # types are typedef'ed and only the typedef is referenced, never the tag name.
273 TYPEDEF_HIDES_STRUCT = NO
275 # The SYMBOL_CACHE_SIZE determines the size of the internal cache use to
276 # determine which symbols to keep in memory and which to flush to disk.
277 # When the cache is full, less often used symbols will be written to disk.
278 # For small to medium size projects (<1000 input files) the default value is
279 # probably good enough. For larger projects a too small cache size can cause
280 # doxygen to be busy swapping symbols to and from disk most of the time
281 # causing a significant performance penality.
282 # If the system has enough physical memory increasing the cache will improve the
283 # performance by keeping more symbols in memory. Note that the value works on
284 # a logarithmic scale so increasing the size by one will rougly double the
285 # memory usage. The cache size is given by this formula:
286 # 2^(16+SYMBOL_CACHE_SIZE). The valid range is 0..9, the default is 0,
287 # corresponding to a cache size of 2^16 = 65536 symbols
289 SYMBOL_CACHE_SIZE = 0
291 #---------------------------------------------------------------------------
292 # Build related configuration options
293 #---------------------------------------------------------------------------
295 # If the EXTRACT_ALL tag is set to YES doxygen will assume all entities in
296 # documentation are documented, even if no documentation was available.
297 # Private class members and static file members will be hidden unless
298 # the EXTRACT_PRIVATE and EXTRACT_STATIC tags are set to YES
302 # If the EXTRACT_PRIVATE tag is set to YES all private members of a class
303 # will be included in the documentation.
305 EXTRACT_PRIVATE = $(DOXYGEN_EXTRACT_PRIVATE)
307 # If the EXTRACT_STATIC tag is set to YES all static members of a file
308 # will be included in the documentation.
310 EXTRACT_STATIC = $(DOXYGEN_EXTRACT_STATIC)
312 # If the EXTRACT_LOCAL_CLASSES tag is set to YES classes (and structs)
313 # defined locally in source files will be included in the documentation.
314 # If set to NO only classes defined in header files are included.
316 EXTRACT_LOCAL_CLASSES = YES
318 # This flag is only useful for Objective-C code. When set to YES local
319 # methods, which are defined in the implementation section but not in
320 # the interface are included in the documentation.
321 # If set to NO (the default) only methods in the interface are included.
323 EXTRACT_LOCAL_METHODS = NO
325 # If this flag is set to YES, the members of anonymous namespaces will be
326 # extracted and appear in the documentation as a namespace called
327 # 'anonymous_namespace{file}', where file will be replaced with the base
328 # name of the file that contains the anonymous namespace. By default
329 # anonymous namespace are hidden.
331 EXTRACT_ANON_NSPACES = NO
333 # If the HIDE_UNDOC_MEMBERS tag is set to YES, Doxygen will hide all
334 # undocumented members of documented classes, files or namespaces.
335 # If set to NO (the default) these members will be included in the
336 # various overviews, but no documentation section is generated.
337 # This option has no effect if EXTRACT_ALL is enabled.
339 HIDE_UNDOC_MEMBERS = NO
341 # If the HIDE_UNDOC_CLASSES tag is set to YES, Doxygen will hide all
342 # undocumented classes that are normally visible in the class hierarchy.
343 # If set to NO (the default) these classes will be included in the various
344 # overviews. This option has no effect if EXTRACT_ALL is enabled.
346 HIDE_UNDOC_CLASSES = NO
348 # If the HIDE_FRIEND_COMPOUNDS tag is set to YES, Doxygen will hide all
349 # friend (class|struct|union) declarations.
350 # If set to NO (the default) these declarations will be included in the
353 HIDE_FRIEND_COMPOUNDS = NO
355 # If the HIDE_IN_BODY_DOCS tag is set to YES, Doxygen will hide any
356 # documentation blocks found inside the body of a function.
357 # If set to NO (the default) these blocks will be appended to the
358 # function's detailed documentation block.
360 HIDE_IN_BODY_DOCS = NO
362 # The INTERNAL_DOCS tag determines if documentation
363 # that is typed after a \internal command is included. If the tag is set
364 # to NO (the default) then the documentation will be excluded.
365 # Set it to YES to include the internal documentation.
369 # If the CASE_SENSE_NAMES tag is set to NO then Doxygen will only generate
370 # file names in lower-case letters. If set to YES upper-case letters are also
371 # allowed. This is useful if you have classes or files whose names only differ
372 # in case and if your file system supports case sensitive file names. Windows
373 # and Mac users are advised to set this option to NO.
375 CASE_SENSE_NAMES = YES
377 # If the HIDE_SCOPE_NAMES tag is set to NO (the default) then Doxygen
378 # will show members with their full class and namespace scopes in the
379 # documentation. If set to YES the scope will be hidden.
381 HIDE_SCOPE_NAMES = NO
383 # If the SHOW_INCLUDE_FILES tag is set to YES (the default) then Doxygen
384 # will put a list of the files that are included by a file in the documentation
387 SHOW_INCLUDE_FILES = YES
389 # If the INLINE_INFO tag is set to YES (the default) then a tag [inline]
390 # is inserted in the documentation for inline members.
394 # If the SORT_MEMBER_DOCS tag is set to YES (the default) then doxygen
395 # will sort the (detailed) documentation of file and class members
396 # alphabetically by member name. If set to NO the members will appear in
399 SORT_MEMBER_DOCS = YES
401 # If the SORT_BRIEF_DOCS tag is set to YES then doxygen will sort the
402 # brief documentation of file, namespace and class members alphabetically
403 # by member name. If set to NO (the default) the members will appear in
408 # If the SORT_MEMBERS_CTORS_1ST tag is set to YES then doxygen will sort the (brief and detailed) documentation of class members so that constructors and destructors are listed first. If set to NO (the default) the constructors will appear in the respective orders defined by SORT_MEMBER_DOCS and SORT_BRIEF_DOCS. This tag will be ignored for brief docs if SORT_BRIEF_DOCS is set to NO and ignored for detailed docs if SORT_MEMBER_DOCS is set to NO.
410 SORT_MEMBERS_CTORS_1ST = NO
412 # If the SORT_GROUP_NAMES tag is set to YES then doxygen will sort the
413 # hierarchy of group names into alphabetical order. If set to NO (the default)
414 # the group names will appear in their defined order.
416 SORT_GROUP_NAMES = NO
418 # If the SORT_BY_SCOPE_NAME tag is set to YES, the class list will be
419 # sorted by fully-qualified names, including namespaces. If set to
420 # NO (the default), the class list will be sorted only by class name,
421 # not including the namespace part.
422 # Note: This option is not very useful if HIDE_SCOPE_NAMES is set to YES.
423 # Note: This option applies only to the class list, not to the
426 SORT_BY_SCOPE_NAME = NO
428 # The GENERATE_TODOLIST tag can be used to enable (YES) or
429 # disable (NO) the todo list. This list is created by putting \todo
430 # commands in the documentation.
432 GENERATE_TODOLIST = YES
434 # The GENERATE_TESTLIST tag can be used to enable (YES) or
435 # disable (NO) the test list. This list is created by putting \test
436 # commands in the documentation.
438 GENERATE_TESTLIST = YES
440 # The GENERATE_BUGLIST tag can be used to enable (YES) or
441 # disable (NO) the bug list. This list is created by putting \bug
442 # commands in the documentation.
444 GENERATE_BUGLIST = YES
446 # The GENERATE_DEPRECATEDLIST tag can be used to enable (YES) or
447 # disable (NO) the deprecated list. This list is created by putting
448 # \deprecated commands in the documentation.
450 GENERATE_DEPRECATEDLIST= YES
452 # The ENABLED_SECTIONS tag can be used to enable conditional
453 # documentation sections, marked by \if sectionname ... \endif.
457 # The MAX_INITIALIZER_LINES tag determines the maximum number of lines
458 # the initial value of a variable or define consists of for it to appear in
459 # the documentation. If the initializer consists of more lines than specified
460 # here it will be hidden. Use a value of 0 to hide initializers completely.
461 # The appearance of the initializer of individual variables and defines in the
462 # documentation can be controlled using \showinitializer or \hideinitializer
463 # command in the documentation regardless of this setting.
465 MAX_INITIALIZER_LINES = 0
467 # Set the SHOW_USED_FILES tag to NO to disable the list of files generated
468 # at the bottom of the documentation of classes and structs. If set to YES the
469 # list will mention the files that were used to generate the documentation.
471 SHOW_USED_FILES = YES
473 # If the sources in your project are distributed over multiple directories
474 # then setting the SHOW_DIRECTORIES tag to YES will show the directory hierarchy
475 # in the documentation. The default is NO.
477 SHOW_DIRECTORIES = NO
479 # Set the SHOW_FILES tag to NO to disable the generation of the Files page.
480 # This will remove the Files entry from the Quick Index and from the
481 # Folder Tree View (if specified). The default is YES.
485 # Set the SHOW_NAMESPACES tag to NO to disable the generation of the
487 # This will remove the Namespaces entry from the Quick Index
488 # and from the Folder Tree View (if specified). The default is YES.
490 SHOW_NAMESPACES = YES
492 # The FILE_VERSION_FILTER tag can be used to specify a program or script that
493 # doxygen should invoke to get the current version for each file (typically from
494 # the version control system). Doxygen will invoke the program by executing (via
495 # popen()) the command <command> <input-file>, where <command> is the value of
496 # the FILE_VERSION_FILTER tag, and <input-file> is the name of an input file
497 # provided by doxygen. Whatever the program writes to standard output
498 # is used as the file version. See the manual for examples.
500 FILE_VERSION_FILTER =
502 # The LAYOUT_FILE tag can be used to specify a layout file which will be parsed by
503 # doxygen. The layout file controls the global structure of the generated output files
504 # in an output format independent way. The create the layout file that represents
505 # doxygen's defaults, run doxygen with the -l option. You can optionally specify a
506 # file name after the option, if omitted DoxygenLayout.xml will be used as the name
507 # of the layout file.
511 #---------------------------------------------------------------------------
512 # configuration options related to warning and progress messages
513 #---------------------------------------------------------------------------
515 # The QUIET tag can be used to turn on/off the messages that are generated
516 # by doxygen. Possible values are YES and NO. If left blank NO is used.
520 # The WARNINGS tag can be used to turn on/off the warning messages that are
521 # generated by doxygen. Possible values are YES and NO. If left blank
526 # If WARN_IF_UNDOCUMENTED is set to YES, then doxygen will generate warnings
527 # for undocumented members. If EXTRACT_ALL is set to YES then this flag will
528 # automatically be disabled.
530 WARN_IF_UNDOCUMENTED = YES
532 # If WARN_IF_DOC_ERROR is set to YES, doxygen will generate warnings for
533 # potential errors in the documentation, such as not documenting some
534 # parameters in a documented function, or documenting parameters that
535 # don't exist or using markup commands wrongly.
537 WARN_IF_DOC_ERROR = YES
539 # This WARN_NO_PARAMDOC option can be abled to get warnings for
540 # functions that are documented, but have no documentation for their parameters
541 # or return value. If set to NO (the default) doxygen will only warn about
542 # wrong or incomplete parameter documentation, but not about the absence of
545 WARN_NO_PARAMDOC = NO
547 # The WARN_FORMAT tag determines the format of the warning messages that
548 # doxygen can produce. The string should contain the $file, $line, and $text
549 # tags, which will be replaced by the file and line number from which the
550 # warning originated and the warning text. Optionally the format may contain
551 # $version, which will be replaced by the version of the file (if it could
552 # be obtained via FILE_VERSION_FILTER)
554 WARN_FORMAT = "$file:$line: $text"
556 # The WARN_LOGFILE tag can be used to specify a file to which warning
557 # and error messages should be written. If left blank the output is written
562 #---------------------------------------------------------------------------
563 # configuration options related to the input files
564 #---------------------------------------------------------------------------
566 # The INPUT tag can be used to specify the files and/or directories that contain
567 # documented source files. You may enter file names like "myfile.cpp" or
568 # directories like "/usr/src/myproject". Separate the files or directories
571 INPUT = $(SRCDIR)/doc/mainpage.md \
572 $(CVC4_DOXYGEN_INPUT)
574 # USE_MDFILE_AS_MAINPAGE = $(SRCDIR)/doc/mainpage.md
576 # This tag can be used to specify the character encoding of the source files
577 # that doxygen parses. Internally doxygen uses the UTF-8 encoding, which is
578 # also the default input encoding. Doxygen uses libiconv (or the iconv built
579 # into libc) for the transcoding. See http://www.gnu.org/software/libiconv for
580 # the list of possible encodings.
582 INPUT_ENCODING = UTF-8
584 # If the value of the INPUT tag contains directories, you can use the
585 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp
586 # and *.h) to filter out the source-files in the directories. If left
587 # blank the following patterns are tested:
588 # *.c *.cc *.cxx *.cpp *.c++ *.java *.ii *.ixx *.ipp *.i++ *.inl *.h *.hh *.hxx
589 # *.hpp *.h++ *.idl *.odl *.cs *.php *.php3 *.inc *.m *.mm *.py *.f90
593 # The RECURSIVE tag can be used to turn specify whether or not subdirectories
594 # should be searched for input files as well. Possible values are YES and NO.
595 # If left blank NO is used.
599 # The EXCLUDE tag can be used to specify files and/or directories that should
600 # excluded from the INPUT source files. This way you can easily exclude a
601 # subdirectory from a directory tree whose root is specified with the INPUT tag.
605 # The EXCLUDE_SYMLINKS tag can be used select whether or not files or
606 # directories that are symbolic links (a Unix filesystem feature) are excluded
609 EXCLUDE_SYMLINKS = NO
611 # If the value of the INPUT tag contains directories, you can use the
612 # EXCLUDE_PATTERNS tag to specify one or more wildcard patterns to exclude
613 # certain files from those directories. Note that the wildcards are matched
614 # against the file with absolute path, so to exclude all test directories
615 # for example use the pattern */test/*
617 EXCLUDE_PATTERNS = */generated/* \
621 # The EXCLUDE_SYMBOLS tag can be used to specify one or more symbol names
622 # (namespaces, classes, functions, etc.) that should be excluded from the
623 # output. The symbol name can be a fully qualified name, a word, or if the
624 # wildcard * is used, a substring. Examples: ANamespace, AClass,
625 # AClass::ANamespace, ANamespace::*Test
629 # The EXAMPLE_PATH tag can be used to specify one or more files or
630 # directories that contain example code fragments that are included (see
631 # the \include command).
633 EXAMPLE_PATH = $(SRCDIR)
635 # If the value of the EXAMPLE_PATH tag contains directories, you can use the
636 # EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp
637 # and *.h) to filter out the source-files in the directories. If left
638 # blank all files are included.
642 # If the EXAMPLE_RECURSIVE tag is set to YES then subdirectories will be
643 # searched for input files to be used with the \include or \dontinclude
644 # commands irrespective of the value of the RECURSIVE tag.
645 # Possible values are YES and NO. If left blank NO is used.
647 EXAMPLE_RECURSIVE = NO
649 # The IMAGE_PATH tag can be used to specify one or more files or
650 # directories that contain image that are included in the documentation (see
651 # the \image command).
655 # The INPUT_FILTER tag can be used to specify a program that doxygen should
656 # invoke to filter for each input file. Doxygen will invoke the filter program
657 # by executing (via popen()) the command <filter> <input-file>, where <filter>
658 # is the value of the INPUT_FILTER tag, and <input-file> is the name of an
659 # input file. Doxygen will then use the output that the filter program writes
660 # to standard output.
661 # If FILTER_PATTERNS is specified, this tag will be
666 # The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
668 # Doxygen will compare the file name with each pattern and apply the
669 # filter if there is a match.
670 # The filters are a list of the form:
671 # pattern=filter (like *.cpp=my_cpp_filter). See INPUT_FILTER for further
672 # info on how filters are used. If FILTER_PATTERNS is empty, INPUT_FILTER
673 # is applied to all files.
677 # If the FILTER_SOURCE_FILES tag is set to YES, the input filter (if set using
678 # INPUT_FILTER) will be used to filter the input files when producing source
679 # files to browse (i.e. when SOURCE_BROWSER is set to YES).
681 FILTER_SOURCE_FILES = NO
683 #---------------------------------------------------------------------------
684 # configuration options related to source browsing
685 #---------------------------------------------------------------------------
687 # If the SOURCE_BROWSER tag is set to YES then a list of source files will
688 # be generated. Documented entities will be cross-referenced with these sources.
689 # Note: To get rid of all source code in the generated output, make sure also
690 # VERBATIM_HEADERS is set to NO.
694 # Setting the INLINE_SOURCES tag to YES will include the body
695 # of functions and classes directly in the documentation.
699 # Setting the STRIP_CODE_COMMENTS tag to YES (the default) will instruct
700 # doxygen to hide any special comment blocks from generated source code
701 # fragments. Normal C and C++ comments will always remain visible.
703 STRIP_CODE_COMMENTS = YES
705 # If the REFERENCED_BY_RELATION tag is set to YES
706 # then for each documented function all documented
707 # functions referencing it will be listed.
709 REFERENCED_BY_RELATION = YES
711 # If the REFERENCES_RELATION tag is set to YES
712 # then for each documented function all documented entities
713 # called/used by that function will be listed.
715 REFERENCES_RELATION = YES
717 # If the REFERENCES_LINK_SOURCE tag is set to YES (the default)
718 # and SOURCE_BROWSER tag is set to YES, then the hyperlinks from
719 # functions in REFERENCES_RELATION and REFERENCED_BY_RELATION lists will
720 # link to the source code.
721 # Otherwise they will link to the documentation.
723 REFERENCES_LINK_SOURCE = YES
725 # If the USE_HTAGS tag is set to YES then the references to source code
726 # will point to the HTML generated by the htags(1) tool instead of doxygen
727 # built-in source browser. The htags tool is part of GNU's global source
728 # tagging system (see http://www.gnu.org/software/global/global.html). You
729 # will need version 4.8.6 or higher.
733 # If the VERBATIM_HEADERS tag is set to YES (the default) then Doxygen
734 # will generate a verbatim copy of the header file for each class for
735 # which an include is specified. Set to NO to disable this.
737 VERBATIM_HEADERS = YES
739 #---------------------------------------------------------------------------
740 # configuration options related to the alphabetical class index
741 #---------------------------------------------------------------------------
743 # If the ALPHABETICAL_INDEX tag is set to YES, an alphabetical index
744 # of all compounds will be generated. Enable this if the project
745 # contains a lot of classes, structs, unions or interfaces.
747 ALPHABETICAL_INDEX = YES
749 # If the alphabetical index is enabled (see ALPHABETICAL_INDEX) then
750 # the COLS_IN_ALPHA_INDEX tag can be used to specify the number of columns
751 # in which this list will be split (can be a number in the range [1..20])
753 COLS_IN_ALPHA_INDEX = 5
755 # In case all classes in a project start with a common prefix, all
756 # classes will be put under the same header in the alphabetical index.
757 # The IGNORE_PREFIX tag can be used to specify one or more prefixes that
758 # should be ignored while generating the index headers.
762 #---------------------------------------------------------------------------
763 # configuration options related to the HTML output
764 #---------------------------------------------------------------------------
766 # If the GENERATE_HTML tag is set to YES (the default) Doxygen will
767 # generate HTML output.
769 GENERATE_HTML = $(GENERATE_HTML)
771 # The HTML_OUTPUT tag is used to specify where the HTML docs will be put.
772 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
773 # put in front of it. If left blank `html' will be used as the default path.
777 # The HTML_FILE_EXTENSION tag can be used to specify the file extension for
778 # each generated HTML page (for example: .htm,.php,.asp). If it is left blank
779 # doxygen will generate files with .html extension.
781 HTML_FILE_EXTENSION = .html
783 # The HTML_HEADER tag can be used to specify a personal HTML header for
784 # each generated HTML page. If it is left blank doxygen will generate a
789 # The HTML_FOOTER tag can be used to specify a personal HTML footer for
790 # each generated HTML page. If it is left blank doxygen will generate a
795 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading
796 # style sheet that is used by each HTML page. It can be used to
797 # fine-tune the look of the HTML output. If the tag is left blank doxygen
798 # will generate a default style sheet. Note that doxygen will try to copy
799 # the style sheet file to the HTML output directory, so don't put your own
800 # stylesheet in the HTML output directory as well, or it will be erased!
804 # If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes,
805 # files or namespaces will be aligned in HTML using tables. If set to
806 # NO a bullet list will be used.
808 HTML_ALIGN_MEMBERS = YES
810 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
811 # documentation will contain sections that can be hidden and shown after the
812 # page has loaded. For this to work a browser that supports
813 # JavaScript and DHTML is required (for instance Mozilla 1.0+, Firefox
814 # Netscape 6.0+, Internet explorer 5.0+, Konqueror, or Safari).
816 HTML_DYNAMIC_SECTIONS = NO
818 # If the GENERATE_DOCSET tag is set to YES, additional index files
819 # will be generated that can be used as input for Apple's Xcode 3
820 # integrated development environment, introduced with OSX 10.5 (Leopard).
821 # To create a documentation set, doxygen will generate a Makefile in the
822 # HTML output directory. Running make will produce the docset in that
823 # directory and running "make install" will install the docset in
824 # ~/Library/Developer/Shared/Documentation/DocSets so that Xcode will find
826 # See http://developer.apple.com/tools/creatingdocsetswithdoxygen.html for more information.
830 # When GENERATE_DOCSET tag is set to YES, this tag determines the name of the
831 # feed. A documentation feed provides an umbrella under which multiple
832 # documentation sets from a single provider (such as a company or product suite)
835 DOCSET_FEEDNAME = "Doxygen generated docs"
837 # When GENERATE_DOCSET tag is set to YES, this tag specifies a string that
838 # should uniquely identify the documentation set bundle. This should be a
839 # reverse domain-name style string, e.g. com.mycompany.MyDocSet. Doxygen
840 # will append .docset to the name.
842 DOCSET_BUNDLE_ID = org.doxygen.Project
844 # If the GENERATE_HTMLHELP tag is set to YES, additional index files
845 # will be generated that can be used as input for tools like the
846 # Microsoft HTML help workshop to generate a compiled HTML help file (.chm)
847 # of the generated HTML documentation.
849 GENERATE_HTMLHELP = $(GENERATE_HTMLHELP)
851 # If the GENERATE_HTMLHELP tag is set to YES, the CHM_FILE tag can
852 # be used to specify the file name of the resulting .chm file. You
853 # can add a path in front of the file if the result should not be
854 # written to the html output directory.
856 CHM_FILE = ../$(PROJECT).chm
858 # If the GENERATE_HTMLHELP tag is set to YES, the HHC_LOCATION tag can
859 # be used to specify the location (absolute path including file name) of
860 # the HTML help compiler (hhc.exe). If non-empty doxygen will try to run
861 # the HTML help compiler on the generated index.hhp.
863 HHC_LOCATION = $(HHC_PATH)
865 # If the GENERATE_HTMLHELP tag is set to YES, the GENERATE_CHI flag
866 # controls if a separate .chi index file is generated (YES) or that
867 # it should be included in the master .chm file (NO).
869 GENERATE_CHI = $(GENERATE_CHI)
871 # If the GENERATE_HTMLHELP tag is set to YES, the CHM_INDEX_ENCODING
872 # is used to encode HtmlHelp index (hhk), content (hhc) and project file
877 # If the GENERATE_HTMLHELP tag is set to YES, the BINARY_TOC flag
878 # controls whether a binary table of contents is generated (YES) or a
879 # normal table of contents (NO) in the .chm file.
883 # The TOC_EXPAND flag can be set to YES to add extra items for group members
884 # to the contents of the HTML help documentation and to the tree view.
888 # If the GENERATE_QHP tag is set to YES and both QHP_NAMESPACE and QHP_VIRTUAL_FOLDER
889 # are set, an additional index file will be generated that can be used as input for
890 # Qt's qhelpgenerator to generate a Qt Compressed Help (.qch) of the generated
891 # HTML documentation.
895 # If the QHG_LOCATION tag is specified, the QCH_FILE tag can
896 # be used to specify the file name of the resulting .qch file.
897 # The path specified is relative to the HTML output folder.
901 # The QHP_NAMESPACE tag specifies the namespace to use when generating
902 # Qt Help Project output. For more information please see
903 # http://doc.trolltech.com/qthelpproject.html#namespace
907 # The QHP_VIRTUAL_FOLDER tag specifies the namespace to use when generating
908 # Qt Help Project output. For more information please see
909 # http://doc.trolltech.com/qthelpproject.html#virtual-folders
911 QHP_VIRTUAL_FOLDER = doc
913 # If QHP_CUST_FILTER_NAME is set, it specifies the name of a custom filter to add.
914 # For more information please see
915 # http://doc.trolltech.com/qthelpproject.html#custom-filters
917 QHP_CUST_FILTER_NAME =
919 # The QHP_CUST_FILT_ATTRS tag specifies the list of the attributes of the custom filter to add.For more information please see
920 # <a href="http://doc.trolltech.com/qthelpproject.html#custom-filters">Qt Help Project / Custom Filters</a>.
922 QHP_CUST_FILTER_ATTRS =
924 # The QHP_SECT_FILTER_ATTRS tag specifies the list of the attributes this project's
925 # filter section matches.
926 # <a href="http://doc.trolltech.com/qthelpproject.html#filter-attributes">Qt Help Project / Filter Attributes</a>.
928 QHP_SECT_FILTER_ATTRS =
930 # If the GENERATE_QHP tag is set to YES, the QHG_LOCATION tag can
931 # be used to specify the location of Qt's qhelpgenerator.
932 # If non-empty doxygen will try to run qhelpgenerator on the generated
937 # The DISABLE_INDEX tag can be used to turn on/off the condensed index at
938 # top of each HTML page. The value NO (the default) enables the index and
939 # the value YES disables it.
943 # This tag can be used to set the number of enum values (range [1..20])
944 # that doxygen will group on one line in the generated HTML documentation.
946 ENUM_VALUES_PER_LINE = 4
948 # The GENERATE_TREEVIEW tag is used to specify whether a tree-like index
949 # structure should be generated to display hierarchical information.
950 # If the tag value is set to YES, a side panel will be generated
951 # containing a tree-like index structure (just like the one that
952 # is generated for HTML Help). For this to work a browser that supports
953 # JavaScript, DHTML, CSS and frames is required (i.e. any modern browser).
954 # Windows users are probably better off using the HTML help feature.
956 GENERATE_TREEVIEW = YES
958 # By enabling USE_INLINE_TREES, doxygen will generate the Groups, Directories,
959 # and Class Hierarchy pages using a tree view instead of an ordered list.
961 USE_INLINE_TREES = NO
963 # If the treeview is enabled (see GENERATE_TREEVIEW) then this tag can be
964 # used to set the initial width (in pixels) of the frame in which the tree
969 # Use this tag to change the font size of Latex formulas included
970 # as images in the HTML documentation. The default is 10. Note that
971 # when you change the font size after a successful doxygen run you need
972 # to manually remove any form_*.png images from the HTML output directory
973 # to force them to be regenerated.
975 FORMULA_FONTSIZE = 10
977 # When the SEARCHENGINE tag is enable doxygen will generate a search box for the HTML output. The underlying search engine uses javascript
978 # and DHTML and should work on any modern browser. Note that when using HTML help (GENERATE_HTMLHELP) or Qt help (GENERATE_QHP)
979 # there is already a search function so this one should typically
983 SERVER_BASED_SEARCH = YES
985 #---------------------------------------------------------------------------
986 # configuration options related to the LaTeX output
987 #---------------------------------------------------------------------------
989 # If the GENERATE_LATEX tag is set to YES (the default) Doxygen will
990 # generate Latex output.
992 GENERATE_LATEX = $(GENERATE_LATEX)
994 # The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put.
995 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
996 # put in front of it. If left blank `latex' will be used as the default path.
1000 # The LATEX_CMD_NAME tag can be used to specify the LaTeX command name to be
1001 # invoked. If left blank `latex' will be used as the default command name.
1005 # The MAKEINDEX_CMD_NAME tag can be used to specify the command name to
1006 # generate index for LaTeX. If left blank `makeindex' will be used as the
1007 # default command name.
1009 MAKEINDEX_CMD_NAME =
1011 # If the COMPACT_LATEX tag is set to YES Doxygen generates more compact
1012 # LaTeX documents. This may be useful for small projects and may help to
1013 # save some trees in general.
1017 # The PAPER_TYPE tag can be used to set the paper type that is used
1018 # by the printer. Possible values are: a4, a4wide, letter, legal and
1019 # executive. If left blank a4wide will be used.
1021 PAPER_TYPE = $(PAPER_SIZE)
1023 # The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX
1024 # packages that should be included in the LaTeX output.
1028 # The LATEX_HEADER tag can be used to specify a personal LaTeX header for
1029 # the generated latex document. The header should contain everything until
1030 # the first chapter. If it is left blank doxygen will generate a
1031 # standard header. Notice: only use this tag if you know what you are doing!
1035 # If the PDF_HYPERLINKS tag is set to YES, the LaTeX that is generated
1036 # is prepared for conversion to pdf (using ps2pdf). The pdf file will
1037 # contain links (just like the HTML output) instead of page references
1038 # This makes the output suitable for online browsing using a pdf viewer.
1042 # If the USE_PDFLATEX tag is set to YES, pdflatex will be used instead of
1043 # plain latex in the generated Makefile. Set this option to YES to get a
1044 # higher quality PDF documentation.
1046 USE_PDFLATEX = $(GENERATE_PDF)
1048 # If the LATEX_BATCHMODE tag is set to YES, doxygen will add the \\batchmode.
1049 # command to the generated LaTeX files. This will instruct LaTeX to keep
1050 # running if errors occur, instead of asking the user for help.
1051 # This option is also used when generating formulas in HTML.
1053 LATEX_BATCHMODE = YES
1055 # If LATEX_HIDE_INDICES is set to YES then doxygen will not
1056 # include the index chapters (such as File Index, Compound Index, etc.)
1059 LATEX_HIDE_INDICES = NO
1061 # If LATEX_SOURCE_CODE is set to YES then doxygen will include source code with syntax highlighting in the LaTeX output. Note that which sources are shown also depends on other settings such as SOURCE_BROWSER.
1063 LATEX_SOURCE_CODE = NO
1065 #---------------------------------------------------------------------------
1066 # configuration options related to the RTF output
1067 #---------------------------------------------------------------------------
1069 # If the GENERATE_RTF tag is set to YES Doxygen will generate RTF output
1070 # The RTF output is optimized for Word 97 and may not look very pretty with
1071 # other RTF readers or editors.
1073 GENERATE_RTF = $(GENERATE_RTF)
1075 # The RTF_OUTPUT tag is used to specify where the RTF docs will be put.
1076 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
1077 # put in front of it. If left blank `rtf' will be used as the default path.
1081 # If the COMPACT_RTF tag is set to YES Doxygen generates more compact
1082 # RTF documents. This may be useful for small projects and may help to
1083 # save some trees in general.
1087 # If the RTF_HYPERLINKS tag is set to YES, the RTF that is generated
1088 # will contain hyperlink fields. The RTF file will
1089 # contain links (just like the HTML output) instead of page references.
1090 # This makes the output suitable for online browsing using WORD or other
1091 # programs which support those fields.
1092 # Note: wordpad (write) and others do not support links.
1096 # Load stylesheet definitions from file. Syntax is similar to doxygen's
1097 # config file, i.e. a series of assignments. You only have to provide
1098 # replacements, missing definitions are set to their default value.
1100 RTF_STYLESHEET_FILE =
1102 # Set optional variables used in the generation of an rtf document.
1103 # Syntax is similar to doxygen's config file.
1105 RTF_EXTENSIONS_FILE =
1107 #---------------------------------------------------------------------------
1108 # configuration options related to the man page output
1109 #---------------------------------------------------------------------------
1111 # If the GENERATE_MAN tag is set to YES (the default) Doxygen will
1112 # generate man pages
1114 GENERATE_MAN = $(GENERATE_MAN)
1116 # The MAN_OUTPUT tag is used to specify where the man pages will be put.
1117 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
1118 # put in front of it. If left blank `man' will be used as the default path.
1122 # The MAN_EXTENSION tag determines the extension that is added to
1123 # the generated man pages (default is the subroutine's section .3)
1127 # If the MAN_LINKS tag is set to YES and Doxygen generates man output,
1128 # then it will generate one additional man file for each entity
1129 # documented in the real man page(s). These additional files
1130 # only source the real man page, but without them the man command
1131 # would be unable to find the correct page. The default is NO.
1135 #---------------------------------------------------------------------------
1136 # configuration options related to the XML output
1137 #---------------------------------------------------------------------------
1139 # If the GENERATE_XML tag is set to YES Doxygen will
1140 # generate an XML file that captures the structure of
1141 # the code including all documentation.
1143 GENERATE_XML = $(GENERATE_XML)
1145 # The XML_OUTPUT tag is used to specify where the XML pages will be put.
1146 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
1147 # put in front of it. If left blank `xml' will be used as the default path.
1151 # The XML_SCHEMA tag can be used to specify an XML schema,
1152 # which can be used by a validating XML parser to check the
1153 # syntax of the XML files.
1157 # The XML_DTD tag can be used to specify an XML DTD,
1158 # which can be used by a validating XML parser to check the
1159 # syntax of the XML files.
1163 # If the XML_PROGRAMLISTING tag is set to YES Doxygen will
1164 # dump the program listings (including syntax highlighting
1165 # and cross-referencing information) to the XML output. Note that
1166 # enabling this will significantly increase the size of the XML output.
1168 XML_PROGRAMLISTING = YES
1170 #---------------------------------------------------------------------------
1171 # configuration options for the AutoGen Definitions output
1172 #---------------------------------------------------------------------------
1174 # If the GENERATE_AUTOGEN_DEF tag is set to YES Doxygen will
1175 # generate an AutoGen Definitions (see autogen.sf.net) file
1176 # that captures the structure of the code including all
1177 # documentation. Note that this feature is still experimental
1178 # and incomplete at the moment.
1180 GENERATE_AUTOGEN_DEF = NO
1182 #---------------------------------------------------------------------------
1183 # configuration options related to the Perl module output
1184 #---------------------------------------------------------------------------
1186 # If the GENERATE_PERLMOD tag is set to YES Doxygen will
1187 # generate a Perl module file that captures the structure of
1188 # the code including all documentation. Note that this
1189 # feature is still experimental and incomplete at the
1192 GENERATE_PERLMOD = NO
1194 # If the PERLMOD_LATEX tag is set to YES Doxygen will generate
1195 # the necessary Makefile rules, Perl scripts and LaTeX code to be able
1196 # to generate PDF and DVI output from the Perl module output.
1200 # If the PERLMOD_PRETTY tag is set to YES the Perl module output will be
1201 # nicely formatted so it can be parsed by a human reader.
1203 # if you want to understand what is going on.
1204 # On the other hand, if this
1205 # tag is set to NO the size of the Perl module output will be much smaller
1206 # and Perl will parse it just the same.
1208 PERLMOD_PRETTY = YES
1210 # The names of the make variables in the generated doxyrules.make file
1211 # are prefixed with the string contained in PERLMOD_MAKEVAR_PREFIX.
1212 # This is useful so different doxyrules.make files included by the same
1213 # Makefile don't overwrite each other's variables.
1215 PERLMOD_MAKEVAR_PREFIX =
1217 #---------------------------------------------------------------------------
1218 # Configuration options related to the preprocessor
1219 #---------------------------------------------------------------------------
1221 # If the ENABLE_PREPROCESSING tag is set to YES (the default) Doxygen will
1222 # evaluate all C-preprocessor directives found in the sources and include
1225 ENABLE_PREPROCESSING = YES
1227 # If the MACRO_EXPANSION tag is set to YES Doxygen will expand all macro
1228 # names in the source code. If set to NO (the default) only conditional
1229 # compilation will be performed. Macro expansion can be done in a controlled
1230 # way by setting EXPAND_ONLY_PREDEF to YES.
1232 MACRO_EXPANSION = YES
1234 # If the EXPAND_ONLY_PREDEF and MACRO_EXPANSION tags are both set to YES
1235 # then the macro expansion is limited to the macros specified with the
1236 # PREDEFINED and EXPAND_AS_DEFINED tags.
1238 EXPAND_ONLY_PREDEF = YES
1240 # If the SEARCH_INCLUDES tag is set to YES (the default) the includes files
1241 # in the INCLUDE_PATH (see below) will be search if a #include is found.
1243 SEARCH_INCLUDES = YES
1245 # The INCLUDE_PATH tag can be used to specify one or more directories that
1246 # contain include files that are not input files but should be processed by
1249 INCLUDE_PATH = . $(SRCDIR)/src $(SRCDIR)/src/include
1251 # You can use the INCLUDE_FILE_PATTERNS tag to specify one or more wildcard
1252 # patterns (like *.h and *.hpp) to filter out the header-files in the
1253 # directories. If left blank, the patterns specified with FILE_PATTERNS will
1256 INCLUDE_FILE_PATTERNS =
1258 # The PREDEFINED tag can be used to specify one or more macro names that
1259 # are defined before the preprocessor is started (similar to the -D option of
1260 # gcc). The argument of the tag is a list of macros of the form: name
1261 # or name=definition (no spaces). If the definition and the = are
1262 # omitted =1 is assumed. To prevent a macro definition from being
1263 # undefined via #undef or recursively expanded use the := operator
1264 # instead of the = operator.
1266 PREDEFINED = _DOXYGEN \
1267 "CVC4_THREADLOCAL(x)=x" \
1269 "CVC4_THERADLOCAL_PUBLIC(x)=x"
1271 # If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then
1272 # this tag can be used to specify a list of macro names that should be expanded.
1273 # The macro definition that is found in the sources will be used.
1274 # Use the PREDEFINED tag if you want to use a different macro definition.
1278 # If the SKIP_FUNCTION_MACROS tag is set to YES (the default) then
1279 # doxygen's preprocessor will remove all function-like macros that are alone
1280 # on a line, have an all uppercase name, and do not end with a semicolon. Such
1281 # function macros are typically used for boiler-plate code, and will confuse
1282 # the parser if not removed.
1284 SKIP_FUNCTION_MACROS = YES
1286 #---------------------------------------------------------------------------
1287 # Configuration::additions related to external references
1288 #---------------------------------------------------------------------------
1290 # The TAGFILES option can be used to specify one or more tagfiles.
1291 # Optionally an initial location of the external documentation
1292 # can be added for each tagfile. The format of a tag file without
1293 # this location is as follows:
1295 # TAGFILES = file1 file2 ...
1296 # Adding location for the tag files is done as follows:
1298 # TAGFILES = file1=loc1 "file2 = loc2" ...
1299 # where "loc1" and "loc2" can be relative or absolute paths or
1300 # URLs. If a location is present for each tag, the installdox tool
1301 # does not have to be run to correct the links.
1302 # Note that each tag file must have a unique name
1303 # (where the name does NOT include the path)
1304 # If a tag file is not located in the directory in which doxygen
1305 # is run, you must also specify the path to the tagfile here.
1309 # When a file name is specified after GENERATE_TAGFILE, doxygen will create
1310 # a tag file that is based on the input files it reads.
1312 GENERATE_TAGFILE = $(DOCDIR)/$(PROJECT).tag
1314 # If the ALLEXTERNALS tag is set to YES all external classes will be listed
1315 # in the class index. If set to NO only the inherited external classes
1320 # If the EXTERNAL_GROUPS tag is set to YES all external groups will be listed
1321 # in the modules index. If set to NO, only the current project's groups will
1324 EXTERNAL_GROUPS = YES
1326 # The PERL_PATH should be the absolute path and name of the perl script
1327 # interpreter (i.e. the result of `which perl').
1329 PERL_PATH = /usr/bin/false
1331 #---------------------------------------------------------------------------
1332 # Configuration options related to the dot tool
1333 #---------------------------------------------------------------------------
1335 # If the CLASS_DIAGRAMS tag is set to YES (the default) Doxygen will
1336 # generate a inheritance diagram (in HTML, RTF and LaTeX) for classes with base
1337 # or super classes. Setting the tag to NO turns the diagrams off. Note that
1338 # this option is superseded by the HAVE_DOT option below. This is only a
1339 # fallback. It is recommended to install and use dot, since it yields more
1342 CLASS_DIAGRAMS = YES
1344 # You can define message sequence charts within doxygen comments using the \msc
1345 # command. Doxygen will then run the mscgen tool (see
1346 # http://www.mcternan.me.uk/mscgen/) to produce the chart and insert it in the
1347 # documentation. The MSCGEN_PATH tag allows you to specify the directory where
1348 # the mscgen tool resides. If left empty the tool is assumed to be found in the
1349 # default search path.
1353 # If set to YES, the inheritance and collaboration graphs will hide
1354 # inheritance and usage relations if the target is undocumented
1355 # or is not a class.
1357 HIDE_UNDOC_RELATIONS = YES
1359 # If you set the HAVE_DOT tag to YES then doxygen will assume the dot tool is
1360 # available from the path. This tool is part of Graphviz, a graph visualization
1361 # toolkit from AT&T and Lucent Bell Labs. The other options in this section
1362 # have no effect if this option is set to NO (the default)
1364 HAVE_DOT = $(HAVE_DOT)
1366 # By default doxygen will write a font called FreeSans.ttf to the output
1367 # directory and reference it in all dot files that doxygen generates. This
1368 # font does not include all possible unicode characters however, so when you need
1369 # these (or just want a differently looking font) you can specify the font name
1370 # using DOT_FONTNAME. You need need to make sure dot is able to find the font,
1371 # which can be done by putting it in a standard location or by setting the
1372 # DOTFONTPATH environment variable or by setting DOT_FONTPATH to the directory
1373 # containing the font.
1375 DOT_FONTNAME = FreeSans
1377 # The DOT_FONTSIZE tag can be used to set the size of the font of dot graphs.
1378 # The default size is 10pt.
1382 # By default doxygen will tell dot to use the output directory to look for the
1383 # FreeSans.ttf font (which doxygen will put there itself). If you specify a
1384 # different font using DOT_FONTNAME you can set the path where dot
1385 # can find it using this tag.
1389 # If the CLASS_GRAPH and HAVE_DOT tags are set to YES then doxygen
1390 # will generate a graph for each documented class showing the direct and
1391 # indirect inheritance relations. Setting this tag to YES will force the
1392 # the CLASS_DIAGRAMS tag to NO.
1396 # If the COLLABORATION_GRAPH and HAVE_DOT tags are set to YES then doxygen
1397 # will generate a graph for each documented class showing the direct and
1398 # indirect implementation dependencies (inheritance, containment, and
1399 # class references variables) of the class with other documented classes.
1401 COLLABORATION_GRAPH = YES
1403 # If the GROUP_GRAPHS and HAVE_DOT tags are set to YES then doxygen
1404 # will generate a graph for groups, showing the direct groups dependencies
1408 # If the UML_LOOK tag is set to YES doxygen will generate inheritance and
1409 # collaboration diagrams in a style similar to the OMG's Unified Modeling
1414 # If set to YES, the inheritance and collaboration graphs will show the
1415 # relations between templates and their instances.
1417 TEMPLATE_RELATIONS = YES
1419 # If the ENABLE_PREPROCESSING, SEARCH_INCLUDES, INCLUDE_GRAPH, and HAVE_DOT
1420 # tags are set to YES then doxygen will generate a graph for each documented
1421 # file showing the direct and indirect include dependencies of the file with
1422 # other documented files.
1426 # If the ENABLE_PREPROCESSING, SEARCH_INCLUDES, INCLUDED_BY_GRAPH, and
1427 # HAVE_DOT tags are set to YES then doxygen will generate a graph for each
1428 # documented header file showing the documented files that directly or
1429 # indirectly include this file.
1431 INCLUDED_BY_GRAPH = YES
1433 # If the CALL_GRAPH and HAVE_DOT options are set to YES then
1434 # doxygen will generate a call dependency graph for every global function
1435 # or class method. Note that enabling this option will significantly increase
1436 # the time of a run. So in most cases it will be better to enable call graphs
1437 # for selected functions only using the \callgraph command.
1441 # If the CALLER_GRAPH and HAVE_DOT tags are set to YES then
1442 # doxygen will generate a caller dependency graph for every global function
1443 # or class method. Note that enabling this option will significantly increase
1444 # the time of a run. So in most cases it will be better to enable caller
1445 # graphs for selected functions only using the \callergraph command.
1449 # If the GRAPHICAL_HIERARCHY and HAVE_DOT tags are set to YES then doxygen
1450 # will graphical hierarchy of all classes instead of a textual one.
1452 GRAPHICAL_HIERARCHY = YES
1454 # If the DIRECTORY_GRAPH, SHOW_DIRECTORIES and HAVE_DOT tags are set to YES
1455 # then doxygen will show the dependencies a directory has on other directories
1456 # in a graphical way. The dependency relations are determined by the #include
1457 # relations between the files in the directories.
1459 DIRECTORY_GRAPH = YES
1461 # The DOT_IMAGE_FORMAT tag can be used to set the image format of the images
1462 # generated by dot. Possible values are png, jpg, or gif
1463 # If left blank png will be used.
1465 DOT_IMAGE_FORMAT = png
1467 # The tag DOT_PATH can be used to specify the path where the dot tool can be
1468 # found. If left blank, it is assumed the dot tool can be found in the path.
1470 DOT_PATH = $(DOT_PATH)
1472 # The DOTFILE_DIRS tag can be used to specify one or more directories that
1473 # contain dot files that are included in the documentation (see the
1474 # \dotfile command).
1478 # The DOT_GRAPH_MAX_NODES tag can be used to set the maximum number of
1479 # nodes that will be shown in the graph. If the number of nodes in a graph
1480 # becomes larger than this value, doxygen will truncate the graph, which is
1481 # visualized by representing a node as a red box. Note that doxygen if the
1482 # number of direct children of the root node in a graph is already larger than
1483 # DOT_GRAPH_MAX_NODES then the graph will not be shown at all. Also note
1484 # that the size of a graph can be further restricted by MAX_DOT_GRAPH_DEPTH.
1486 DOT_GRAPH_MAX_NODES = 50
1488 # The MAX_DOT_GRAPH_DEPTH tag can be used to set the maximum depth of the
1489 # graphs generated by dot. A depth value of 3 means that only nodes reachable
1490 # from the root by following a path via at most 3 edges will be shown. Nodes
1491 # that lay further from the root node will be omitted. Note that setting this
1492 # option to 1 or 2 may greatly reduce the computation time needed for large
1493 # code bases. Also note that the size of a graph can be further restricted by
1494 # DOT_GRAPH_MAX_NODES. Using a depth of 0 means no depth restriction.
1496 MAX_DOT_GRAPH_DEPTH = 0
1498 # Set the DOT_TRANSPARENT tag to YES to generate images with a transparent
1499 # background. This is disabled by default, because dot on Windows does not
1500 # seem to support this out of the box. Warning: Depending on the platform used,
1501 # enabling this option may lead to badly anti-aliased labels on the edges of
1502 # a graph (i.e. they become hard to read).
1504 DOT_TRANSPARENT = NO
1506 # Set the DOT_MULTI_TARGETS tag to YES allow dot to generate multiple output
1507 # files in one run (i.e. multiple -o and -T options on the command line). This
1508 # makes dot run faster, but since only newer versions of dot (>1.8.10)
1509 # support this, this feature is disabled by default.
1511 DOT_MULTI_TARGETS = YES
1513 # If the GENERATE_LEGEND tag is set to YES (the default) Doxygen will
1514 # generate a legend page explaining the meaning of the various boxes and
1515 # arrows in the dot generated graphs.
1517 GENERATE_LEGEND = YES
1519 # If the DOT_CLEANUP tag is set to YES (the default) Doxygen will
1520 # remove the intermediate dot files that are used to generate
1521 # the various graphs.