• Etienne Renault's avatar
    cube: rename get_ap into ap · ae4752c7
    Etienne Renault authored
    * spot/kripke/kripke.hh,
    spot/ltsmin/spins_kripke.hh,
    spot/ltsmin/spins_kripke.hxx,
    spot/mc/mc_instanciator.hh,
    spot/mc/utils.hh,
    spot/twacube/twacube.cc,
    spot/twacube/twacube.hh,
    spot/twacube_algos/convert.cc,
    tests/core/twacube.cc,
    tests/ltsmin/modelcheck.cc: Here.
    ae4752c7
spins_kripke.hxx 24.3 KB