• Alexandre Duret-Lutz's avatar
    Add full_parent support to to_spin_string(). · ac9d0a50
    Alexandre Duret-Lutz authored
    * src/ltlvisit/tostrinc.hh (to_spin_string): Add a full_parent
    optional parameter, like for the to_string() function.
    * src/ltlvisit/tostrinc.cc (to_string_visitor): Fix the
    handling of full_parent.
    (to_spin_string_visitor): Handle full_parent.
To find the state of this project's repository at the time of any of these versions, check out the tags.