Skip to content
  • Alexandre Duret-Lutz's avatar
    Hide the tgba_gspn and tgba_gspn_eesrg classes. Offer the · 9d9ba1be
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.