-
Alexandre Duret-Lutz authored
* iface/dve2/dve2.cc (dve2_kripke::dve2_kripke): Fill a format_filter_ array with boolean indicating whether each variable should be printed. Ignore variable with only one possible value. (dve2_kripke::~dve2_kripke): Destroy it. (dve2_kripke::format_state): Use it. * iface/dve2/finite.test: Adjust.
d47aa1d8
To find the state of this project's repository at the time of any of these versions, check out the tags.