• Etienne Renault's avatar
    ltsmin: prodcuce kripkecube · f1315de1
    Etienne Renault authored
    Warning! this patch introduces redundancy (or difference)
    between wether you ask for a kripkecube or a kripke.
    
    * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: here.
    f1315de1
ltsmin.hh 3.99 KB