Here is a list of all files with brief descriptions:

[detail level 123456]

▼ awali
▼ common
► docstring
doc_entries.hh
entry.hh
eps_removal.hh
exp_to_aut.hh
json_format.hh
ratexp.hh
reduction.hh
template-docfile.hh
► json
equality.hh
node.hh
parser.hh
smart_printer.hh
utils.hh
visitor.hh
ato.hh
demangle.hxx
enum_utils.hh
enums.hh
is_iterable.hxx
json_ast.hh
linked_map.hxx
no_such_file_exception.hh
parse_exception.hh
priority.hh
qfraction.hh
to_value_of.hxx
tuple.hh
types.hh
version.hh
▼ dyn
► algos
aliases.hh
random.hh
sys.hh
tdc_circulation.hh
tdc_eval.hh
► core
► context_description
► weightsets
abstract_weightset.hh
basic_weightset.hh
bounded_weightset.hh
cyclic_weightset.hh
description_types.hh
► internal
untyped_value.hh
value.hh
abstract_automaton.hh
abstract_context.hh
abstract_ratexp.hh
any.hh
automaton.hh
context.hh
context_description.hh
context_description_deprecated.hh
ratexp.hh
transducer.hh
typedefs.hh
► loading
compile.hh
handler.hh
handler_decl.hxx
locations.hh
parse_ctx.hh
► modules
accessible.hh
are_equivalent.hh
automaton.hh
context.hh
derivation.hh
determinize.hh
eliminate.hh
eval.hh
factor.hh
factories.hh
graph.hh
join.hh
output.hh
partial_id.hh
product.hh
promotion.hh
proper.hh
quotient.hh
ratexp.hh
singleproduct.hh
standard.hh
transducer.hh
transpose.hh
words.hh
► options
declaration.incl.hh
option.hh
options.hh
value.hh
▼ sttc
► algos
► determinize
determinize.hxx
is_deterministic.hxx
► quotient
congruence_det.hh
hopcroft_quotient.hh
moore_quotient.hh
accessible.hh
add_path.hh
allow_words.hh
are_equivalent.hh
are_isomorphic.hh
aut_to_exp.hh
compact_thompson.hh
complement.hh
complete.hh
compose.hh
concatenate.hh
constant_term.hh
copy.hh
daut.hh
derivation.hh
determinize.hh
distance.hh
dot.hh
draw_exp.hh
enumerate.hh
eval.hh
eval_tdc.hh
exp_copy.hh
exp_parser.hh
exp_stats.hh
exp_support.hh
expand.hh
factor.hh
fsm.hh
grail.hh
has_twins_property.hh
info.hh
is_acyclic.hh
is_ambiguous.hh
is_complete.hh
is_congruence.hh
is_eps_acyclic.hh
is_functional.hh
is_normalized.hh
is_of_finite_image.hh
is_proper.hh
is_quotient.hh
is_valid.hh
js_parser.hh
js_parser_deprecated.hh
js_print.hh
lal_lan_conversion.hh
left_mult.hh
letterize.hh
letterize_tape.hh
lift.hh
lift_tdc.hh
merge.hh
min_quotient.hh
minimize_brzozowski.hh
outsplit.hh
partial_identity.hh
print_exp.hh
product.hh
projection.hh
proper.hh
random.hh
read.hh
real_time.hh
reduce.hh
restriction.hh
scc.hh
sort.hh
split.hh
standard.hh
star.hh
star_height.hh
star_normal_form.hh
sub_automaton.hh
sum.hh
synchronize.hh
thompson.hh
tikz.hh
transpose.hh
universal.hh
weighted_thompson.hh
► alphabets
char.hh
int.hh
pair.hh
setalpha.hh
► core
► rat
copy.hh
equal_visit.hh
fwd.hh
hash.hh
hash.hxx
identities.hh
info.hh
info.hxx
json_visitor.hxx
less_than.hh
printer.hh
printer.hxx
ratexp.hh
ratexp.hxx
ratexpset.hh
ratexpset.hxx
size.hh
size.hxx
transpose.hh
visitor.hh
visitor.hxx
automaton_decorator.hh
kind.hh
mutable_automaton.hh
partition_automaton.hh
permutation_automaton.hh
ratexp_automaton.hh
transition.hh
transition_map.hh
transpose_view.hh
tuple_automaton.hh
► ctx
context.hh
fwd.hh
lal_char.hh
lal_int.hh
lan.hh
lan_char.hh
lan_int.hh
lao.hh
lat.hh
law_char.hh
traits.hh
► factories
divkbaseb.hh
double_ring.hh
ladybird.hh
n_ultimate.hh
synchronizing_word.hh
witness.hh
► history
history.hh
no_history.hh
partition_history.hh
ratexp_history.hh
single_history.hh
string_history.hh
tuple_history.hh
► labelset
fwd.hh
labelset.hh
letterset.hh
nullableset.hh
oneset.hh
traits.hh
tupleset.hh
wordset.hh
► misc
add_epsilon_trans.hh
attributes.hh
bitset.hh
cast.hh
cont_filter.hh
cross.hh
escape.hh
linkedhashmap.hh
map.hh
memory.hh
pair.hh
raise.hh
random.hh
set.hh
set.hxx
stream.hh
sub_tuple.hh
unordered_map.hh
unordered_set.hh
vector.hh
zip.hh
zip_maps.hh
► tests
null_stream.hxx
► weightset
b.hh
c.hh
f2.hh
fwd.hh
gf2.hh
is_finite.hh
lr_parse_number.hh
maxmin.hh
n.hh
nn.hh
noo.hh
pmax.hh
polynomialset.hh
q.hh
r.hh
ratexpset.hh
tupleset.hh
weightset.hh
z.hh
z_old.hh
zmax.hh
zmin.hh
zz.hh
automaton.hh
config.hh
empty.hh
json.hxx
▼ utils
arith.hh
hash.hh
heap.hh
dyn.hh
groupdoc.hh
namespacesdoc.hh