3 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	0efca0f644	* src/ltlparse/ltlscan.ll: Pass yyleng to the std::string constructor, ... so it doesn't have to compute it. * src/tgbaparse/tgbascan.ll: Likewise. (YY_USER_INIT, current_file): Remove, it is too costly to use yy::Location::filename in the current implementation of yy::Location (this attribute is duplicated for each token). Leaving it empty divides the parsing time by 3. * src/tgbaparse/fmterror.cc, src/tgbaparse/public.hh (format_tgba_parse_errors): Take the filename as argument. * src/tgbatest/explprod.cc, src/tgbatest/ltl2tgba.cc, src/tgbatest/mixprod.cc, src/tgbatest/powerset.cc, src/tgbatest/readsave.cc, src/tgbatest/reductgba.cc, src/tgbatest/tgbaread.cc, src/tgbatest/tripprod.cc, iface/gspn/dottyssp.cc, iface/gspn/ltlgspn.cc: Adjust calls to format_tgba_parse_errors.	2004-12-16 12:33:37 +00:00
Alexandre Duret-Lutz	e0b15c6f67	* src/tgbatest/explicit.cc, src/tgbatest/explprod.cc, ... src/tgbatest/ltl2tgba.cc, src/tgbatest/ltlprod.cc, src/tgbatest/mixprod.cc, src/tgbatest/powerset.cc, src/tgbatest/readsave.cc, src/tgbatest/tgbaread.cc, src/tgbatest/tripprod.cc: Add missing copyright license.	2004-02-02 20:40:32 +00:00
Alexandre Duret-Lutz	791c389080	* src/tgbaalgos/reachiter.cc (tgba_reachable_iterator::run) ... Reuse s->second to avoid a hash lookup. * src/tgbaalgos/save.cc (save_bfs::process_state): Delete dest.	2004-01-05 17:27:39 +00:00