Skip to content
  • Alexandre Duret-Lutz's avatar
    * iface/gspn/gspn.cc (tgba_gspn_private_): Define alive_prop, · f27b91c7
    Alexandre Duret-Lutz authored
    and dead_prop from the dead argument passed to the constructor.
    (tgba_succ_iterator_gspn): Stutter on dead transitions.
    (tgba_gspn::tgba_gspn): Hand dead to tgba_gspn_private_.
    (gspn_interface::gspn_interface): Hand dead to tgba_gspn.
    * iface/gspn/gspn.hh (gspn_interface::gspn_interface): Take a
    dead argument.
    * iface/gspn/ltlgspn.cc [!SSP]: Add a option -d to specify the
    dead property.
    * iface/gspn/udcseltl.test: Try option -d.
    f27b91c7
To find the state of this project's repository at the time of any of these versions, check out the tags.