Skip to content
Find file Blame History Permalink
  • 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.
    d47aa1d8
To find the state of this project's repository at the time of any of these versions, check out the tags.