• Etienne Renault's avatar
    mc: refactor parallel algorithms · b8cbe032
    Etienne Renault authored
    * spot/mc/Makefile.am,
    spot/mc/bloemen.hh,
    spot/mc/bloemen_ec.hh,
    spot/mc/cndfs.hh,
    spot/mc/deadlock.hh,
    spot/mc/ec.hh,
    spot/mc/intersect.hh,
    spot/mc/mc.hh,
    spot/mc/mc_instanciator.hh,
    spot/mc/utils.hh,
    tests/ltsmin/modelcheck.cc: Here.
    b8cbe032
intersect.hh 2.76 KB