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

[detail level 1234]

spot
gen
automata.hh
formulas.hh
graph
adjlist.hh
graph.hh
ngraph.hh
kripke
fairkripke.hh
fwd.hh
kripke.hh
kripkegraph.hh
ltsmin
ltsmin.hh
spins_interface.hh
spins_kripke.hh
mc
bloemen.hh
bloemen_ec.hh
cndfs.hh
deadlock.hh
intersect.hh
lpar13.hh
mc.hh
mc_instanciator.hh
unionfind.hh
utils.hh
misc
bareword.hh
bddlt.hh
bitset.hh
bitvect.hh
casts.hh
clz.hh
common.hh
escape.hh
fixpool.hh
formater.hh
hash.hh
hashfunc.hh
intvcmp2.hh
intvcomp.hh
ltstr.hh
memusage.hh
minato.hh
mspool.hh
optionmap.hh
permute.hh
random.hh
satsolver.hh
timer.hh
tmpfile.hh
trival.hh
version.hh
parseaut
parseaut.hh
parsedecl.hh
public.hh
stack.hh
parsetl
parsedecl.hh
parsetl.hh
ta
ta.hh
taexplicit.hh
taproduct.hh
tgta.hh
tgtaexplicit.hh
tgtaproduct.hh
taalgos
dot.hh
emptinessta.hh
minimize.hh
reachiter.hh
statessetbuilder.hh
stats.hh
tgba2ta.hh
tl
apcollect.hh
contain.hh
declenv.hh
defaultenv.hh
delta2.hh
dot.hh
environment.hh
exclusive.hh
formula.hh	LTL/PSL formula interface
hierarchy.hh
length.hh
ltlf.hh
mark.hh
mutation.hh
nenoform.hh
parse.hh
print.hh
randomltl.hh
relabel.hh
remove_x.hh
simplify.hh
snf.hh
sonf.hh
unabbrev.hh
twa
acc.hh
bdddict.hh
bddprint.hh
formula2bdd.hh
fwd.hh
taatgba.hh
twa.hh
twagraph.hh
twaproduct.hh
twaalgos
gtec
ce.hh
gtec.hh
sccstack.hh
status.hh
aiger.hh
alternation.hh
are_isomorphic.hh
backprop.hh
bfssteps.hh
canonicalize.hh
cleanacc.hh
cobuchi.hh
complement.hh
complete.hh
compsusp.hh
contains.hh
copy.hh
couvreurnew.hh
cycles.hh
dbranch.hh
deadends.hh
degen.hh
determinize.hh
dot.hh
dtbasat.hh
dtwasat.hh
dualize.hh
emptiness.hh
emptiness_stats.hh
forq_contains.hh
game.hh
genem.hh
gfguarantee.hh
given.hh
gv04.hh
hoa.hh
iscolored.hh
isdet.hh
isunamb.hh
isweakscc.hh
langmap.hh
lbtt.hh
ltl2taa.hh
ltl2tgba_fm.hh
ltlf2dfa.hh
magic.hh
mask.hh
matchstates.hh
mcs.hh
mealy_machine.hh
minimize.hh
mtdtwa.hh
neverclaim.hh
parity.hh
postproc.hh
powerset.hh
product.hh
randomgraph.hh
randomize.hh
reachiter.hh
relabel.hh
remfin.hh
remprop.hh
sbacc.hh
sccfilter.hh
sccinfo.hh
se05.hh
sepsets.hh
simulation.hh
split.hh
stats.hh
strength.hh
stripacc.hh
stutter.hh
sum.hh
synthesis.hh
tau03.hh
tau03opt.hh
toparity.hh
totgba.hh
toweak.hh
translate.hh
word.hh
zlktree.hh
twacube
cube.hh
fwd.hh
twacube.hh
twacube_algos
convert.hh