Antoine Martin 28416cf82c twagraph: merge_edges supports finite automata ... * spot/twa/twagraph.cc: don't remove false-labeled edges if the automaton uses state-based acceptance and the edge is a self loop		2025-03-08 18:05:27 +01:00
..
.gitignore	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
acc.cc	twaalgos: implement restrict_dead_end_edges_here()	2024-07-19 17:07:39 +02:00
acc.hh	twaalgos: implement restrict_dead_end_edges_here()	2024-07-19 17:07:39 +02:00
bdddict.cc	remove many useless includes	2023-11-29 22:38:21 +01:00
bdddict.hh	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
bddprint.cc	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
bddprint.hh	Fix typos in doc, comments and messages	2024-04-16 17:01:31 +02:00
formula2bdd.cc	Fix typos in doc, comments and messages	2024-04-16 17:01:31 +02:00
formula2bdd.hh	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
fwd.hh	add intersection checks between words and automata	2024-03-07 21:31:20 +01:00
Makefile.am	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
taatgba.cc	remove many useless includes	2023-11-29 22:38:21 +01:00
taatgba.hh	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
twa.cc	add intersection checks between words and automata	2024-03-07 21:31:20 +01:00
twa.hh	Fix typos in doc, comments and messages	2024-04-16 17:01:31 +02:00
twagraph.cc	twagraph: merge_edges supports finite automata	2025-03-08 18:05:27 +01:00
twagraph.hh	defrag_states: allow a permutation of state numbers	2024-09-18 13:59:51 +02:00
twaproduct.cc	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00
twaproduct.hh	Upgrade the Copyright strings to point to AUTHORS and drop years	2023-11-18 21:50:32 +01:00