Vaucanson  1.4.1

tools → misc Relation

File in vaucanson/toolsIncludes file in vaucanson/misc
automaton_tools.hhrandom.hh
gen_random.hhselectors.hh