Here is a list of all documented files with brief descriptions:
[detail level 1234]
| ▼ spot | |
| ► graph | |
| graph.hh | |
| ngraph.hh | |
| ► kripke | |
| fairkripke.hh | |
| fwd.hh | |
| kripke.hh | |
| kripkegraph.hh | |
| ► ltsmin | |
| ltsmin.hh | |
| spins_interface.hh | |
| spins_kripke.hh | |
| ► mc | |
| ec.hh | |
| interpolate.hh | |
| intersect.hh | |
| reachability.hh | |
| unionfind.hh | |
| utils.hh | |
| ► misc | |
| bareword.hh | |
| bddlt.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 | |
| trival.hh | |
| version.hh | |
| ► parseaut | |
| parseaut.hh | |
| parsedecl.hh | |
| public.hh | |
| stack.hh | |
| ► parsetl | |
| parsedecl.hh | |
| parsetl.hh | |
| stack.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 | |
| 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 | |
| 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 | |
| alternation.hh | |
| are_isomorphic.hh | |
| bfssteps.hh | |
| canonicalize.hh | |
| cleanacc.hh | |
| complement.hh | |
| complete.hh | |
| compsusp.hh | |
| copy.hh | |
| couvreurnew.hh | |
| cycles.hh | |
| degen.hh | |
| determinize.hh | |
| dot.hh | |
| dtbasat.hh | |
| dtwasat.hh | |
| dualize.hh | |
| emptiness.hh | |
| emptiness_stats.hh | |
| gv04.hh | |
| hoa.hh | |
| isdet.hh | |
| isunamb.hh | |
| isweakscc.hh | |
| langmap.hh | |
| lbtt.hh | |
| ltl2taa.hh | |
| ltl2tgba_fm.hh | |
| magic.hh | |
| mask.hh | |
| minimize.hh | |
| neverclaim.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 | |
| stats.hh | |
| strength.hh | |
| stripacc.hh | |
| stutter.hh | |
| sum.hh | |
| tau03.hh | |
| tau03opt.hh | |
| totgba.hh | |
| translate.hh | |
| word.hh | |
| ► twacube | |
| cube.hh | |
| fwd.hh | |
| twacube.hh | |
| ► twacube_algos | |
| convert.hh | |