Here is a list of all documented files with brief descriptions:
[detail level 1234]
► bin | |
common_cout.hh | |
common_finput.hh | |
common_output.hh | |
common_post.hh | |
common_r.hh | |
common_range.hh | |
common_setup.hh | |
common_sys.hh | |
► dstarparse | |
public.hh | |
► dve2 | |
dve2.hh | |
► dve2fasttgba | |
dve2.hh | |
► eltlparse | |
public.hh | |
► fasttgba | |
acc_dict.hh | |
ap_dict.hh | |
cube.hh | |
fasttgba.hh | |
fasttgba_explicit.hh | |
fasttgba_product.hh | |
fasttgba_state.hh | |
fasttgba_succ_iterator.hh | |
markset.hh | |
► fasttgbaalgos | |
► ec | |
► concur | |
openset.hh | |
sharedhashtable.hh | |
uf.hh | |
► concurec | |
concur_ec_stat.hh | |
dead_share.hh | |
► opt | |
opt_dijkstra_scc.hh | |
opt_ndfs.hh | |
opt_tarjan_scc.hh | |
deadstore.hh | |
dijkstra_scc.hh | |
dijkstracheck.hh | |
ec.hh | |
lazycheck.hh | |
lowlink_stack.hh | |
root_stack.hh | |
stats.hh | |
tarjan_scc.hh | |
union_find.hh | |
union_scc.hh | |
unioncheck.hh | |
dotty_dfs.hh | |
generic_dfs.hh | |
lbtt_dfs.hh | |
stats_dfs.hh | |
tgba2fasttgba.hh | |
► gspn | |
common.hh | |
gspn.hh | |
ssp.hh | |
► kripke | |
fairkripke.hh | |
kripke.hh | |
kripkeexplicit.hh | |
kripkeprint.hh | |
► kripkeparse | |
public.hh | |
► ltlast | |
allnodes.hh | Define all LTL node types |
atomic_prop.hh | LTL atomic propositions |
automatop.hh | ELTL automaton operators |
binop.hh | LTL binary operators |
bunop.hh | Bounded Unary operators |
constant.hh | LTL constants |
formula.hh | LTL formula interface |
formula_tree.hh | Trees representing formulae where atomic propositions are unknown |
multop.hh | LTL multi-operand operators |
nfa.hh | NFA interface used by automatop |
predecl.hh | Predeclare all LTL node types |
refformula.hh | Reference-counted LTL formulae |
unop.hh | LTL unary operators |
visitor.hh | LTL visitor interface |
► ltlenv | |
declenv.hh | |
defaultenv.hh | |
environment.hh | |
► ltlparse | |
ltlfile.hh | |
public.hh | |
► ltlvisit | |
apcollect.hh | |
clone.hh | |
contain.hh | |
destroy.hh | |
dotty.hh | |
dump.hh | |
lbt.hh | |
length.hh | |
lunabbrev.hh | |
mark.hh | |
nenoform.hh | |
postfix.hh | |
randomltl.hh | |
reduce.hh | |
relabel.hh | |
remove_x.hh | |
simpfg.hh | |
simplify.hh | |
snf.hh | |
tostring.hh | |
tunabbrev.hh | |
wmunabbrev.hh | |
► misc | |
bareword.hh | |
bddlt.hh | |
bddop.hh | |
bitvect.hh | |
casts.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 | |
random.hh | |
satsolver.hh | |
timer.hh | |
tmpfile.hh | |
unique_ptr.hh | |
version.hh | |
► neverparse | |
public.hh | |
► saba | |
explicitstateconjunction.hh | |
saba.hh | |
sabacomplementtgba.hh | |
sabastate.hh | |
sabasucciter.hh | |
► sabaalgos | |
sabadotty.hh | |
sabareachiter.hh | |
► ta | |
ta.hh | |
taexplicit.hh | |
taproduct.hh | |
tgta.hh | |
tgtaexplicit.hh | |
tgtaproduct.hh | |
► taalgos | |
dotty.hh | |
emptinessta.hh | |
minimize.hh | |
reachiter.hh | |
statessetbuilder.hh | |
stats.hh | |
tgba2ta.hh | |
► tgba | |
bdddict.hh | |
bddprint.hh | |
formula2bdd.hh | |
futurecondcol.hh | |
public.hh | |
sba.hh | |
state.hh | |
statebdd.hh | |
succiter.hh | |
succiterconcrete.hh | |
taatgba.hh | |
tgba.hh | |
tgbabddconcrete.hh | |
tgbabddconcretefactory.hh | |
tgbabddconcreteproduct.hh | |
tgbabddcoredata.hh | |
tgbabddfactory.hh | |
tgbaexplicit.hh | |
tgbakvcomplement.hh | |
tgbamask.hh | |
tgbaproduct.hh | |
tgbaproxy.hh | |
tgbasafracomplement.hh | |
tgbascc.hh | |
tgbasgba.hh | |
tgbatba.hh | |
tgbaunion.hh | |
wdbacomp.hh | |
► tgbaalgos | |
► gtec | |
ce.hh | |
explscc.hh | |
gtec.hh | |
nsheap.hh | |
sccstack.hh | |
status.hh | |
bfssteps.hh | |
complete.hh | |
compsusp.hh | |
cutscc.hh | |
cycles.hh | |
degen.hh | |
dotty.hh | |
dottydec.hh | |
dtbasat.hh | |
dtgbacomp.hh | |
dtgbasat.hh | |
dupexp.hh | |
eltl2tgba_lacim.hh | |
emptiness.hh | |
emptiness_stats.hh | |
gv04.hh | |
isdet.hh | |
isweakscc.hh | |
lbtt.hh | |
ltl2taa.hh | |
ltl2tgba_fm.hh | |
ltl2tgba_lacim.hh | |
magic.hh | |
minimize.hh | |
neverclaim.hh | |
postproc.hh | |
powerset.hh | |
projrun.hh | |
randomgraph.hh | |
reachiter.hh | |
reducerun.hh | |
reductgba_sim.hh | |
replayrun.hh | |
rundotdec.hh | |
safety.hh | |
save.hh | |
scc.hh | |
scc_decompose.hh | |
sccfilter.hh | |
se05.hh | |
simulation.hh | |
stats.hh | |
stripacc.hh | |
tau03.hh | |
tau03opt.hh | |
translate.hh | |
weight.hh | |
word.hh | |
► tgbaparse | |
public.hh | |