-
Alexandre Duret-Lutz authored
* iface/dve2/dve2.cc (dve2_kripke::dve2_kripke): Retrieve the name of all the state variables. (dve2_kripke::format_state): Use them to format the name of the state.
5a76a7bb
* iface/dve2/dve2.cc (dve2_kripke::dve2_kripke): Retrieve the name of all the state variables. (dve2_kripke::format_state): Use them to format the name of the state.