Here is a list of all documented files with brief descriptions:

[detail level 12345]

▼ src
▼ cli
base.hpp
fairness.hpp
gr1.hpp
maxset.hpp
stability.hpp
synthesis.hpp
▼ parser
Parser.h
▼ synthesis
▼ header
▼ automata
ExplicitStateDfa.h
ExplicitStateDfaAdd.h
SymbolicStateDfa.h
▼ game
BuchiReachability.hpp
coBuchiReachability.hpp
coGR1Reachability.hpp
DfaGameSynthesizer.h
InputOutputPartition.h
Quantification.h
Reachability.hpp
ReachabilityMaxSet.hpp
Transducer.h
▼ synthesizer
FairnessLtlfSynthesizer.h
GR1LTLfSynthesizer.h
LTLfMaxSetSynthesizer.h
LTLfSynthesizer.h
StabilityLtlfSynthesizer.h
GR1.h
OneStepRealizability.h
OneStepUnrealizability.h
Player.h
Preprocessing.h
Stopwatch.h
Synthesizer.h
Utils.h
VarMgr.h
▼ utils
misc.h
string_utilities.h