-
Alexandre Duret-Lutz authored
corresponding automaton via the automaton() method of the gspn_interface and gspn_eesrg_interface classes. * iface/gspn/gspn.hh (gspn_interface::gspn_interface): Take dict and env arguments. (gspn_interface::automaton): New method. (tgba_gspn): Move all the declaration ... * iface/gspn/gspn.cc (tgba_gspn): ... here. (gspn_interface::automaton): Implement it. * iface/gspn/eesrg.hh (gspn_eesrg_interface::gspn_eesrg_interface): Take dict and env arguments. (gspn_eesrg_interface::automaton): New method. (tgba_gspn_eesrg): Move all the declaration ... * iface/gspn/gspn.cc (tgba_gspn_eesrg): ... here. (gspn_eesrg_interface::automaton): Implement it. * iface/gspn/dottygspn.cc, iface/gspn/dottyeesrg.cc, iface/gspn/ltlgspn.cc: Adjust.
9d9ba1be