• Alexandre Duret-Lutz's avatar
    DVE2: Do not display state variables with only one possible value. · d47aa1d8
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 373 KB