# Doxygen configuration for Acacia-Bonsai.
#
# Only settings that differ from Doxygen's defaults are listed. The previous
# version of this file was a full `doxygen -g` dump: 2,976 lines carrying ten
# real settings, generating documentation titled "My Project". Run
# `doxygen -u Doxyfile` to see the defaults again, or `doxygen -x` to print
# just the differences.

PROJECT_NAME           = "Acacia-Bonsai"
PROJECT_BRIEF          = "Downset-based LTL realizability and synthesis"
OUTPUT_DIRECTORY       = doc/doxygen
USE_MDFILE_AS_MAINPAGE = README.md

INPUT                  = README.md src tests
RECURSIVE              = YES
# src/research is one-off measurement scaffolding, not part of the interface a
# reader is looking for. The rest are corpora that happen to live under tests/:
# thousands of .ltl/.tlsf inputs and their READMEs, which Doxygen would
# otherwise parse as if they were source.
EXCLUDE                = src/research \
                         tests/syntcomp-benchmarks \
                         tests/ltl \
                         tests/suites

# This is an implementation, not a published API: the private and static
# members are the substance, and most of the code carries no doc comments, so
# without EXTRACT_ALL the output would be nearly empty.
EXTRACT_ALL            = YES
EXTRACT_PRIVATE        = YES
EXTRACT_PRIV_VIRTUAL   = YES
EXTRACT_STATIC         = YES

GENERATE_LATEX         = NO

# Call graphs were enabled here, and on a heavily templated C++23 tree they
# make generation take far longer than the graphs are worth. Turn them back on
# deliberately if you are chasing a specific call path.
HAVE_DOT               = YES
CALL_GRAPH             = NO
CALLER_GRAPH           = NO
DOT_MULTI_TARGETS      = YES
