• Etienne Renault's avatar
    kripkecube: modernize is_a_kripkecube_ptr · 9dbfe13f
    Etienne Renault authored
    * spot/kripke/kripke.hh,
    spot/ltsmin/spins_kripke.hh,
    spot/mc/bloemen.hh,
    spot/mc/bloemen_ec.hh,
    spot/mc/cndfs.hh,
    spot/mc/deadlock.hh,
    spot/mc/intersect.hh,
    spot/mc/reachability.hh,
    tests/ltsmin/modelcheck.cc: Here.
    9dbfe13f
reachability.hh 3.66 KB