• Etienne Renault's avatar
    ec: Renault et al LPAR'13 emptiness check · d3d833bd
    Etienne Renault authored
    In order to reuse the computation of the
    intersection between kripke and twa efficiently,
    we use template inheritance through the
    "mixin templates" technique.
    
    * spot/Makefile.am, spot/mc/Makefile.am,
    spot/mc/ec.hh, spot/mc/unionfind.cc,
    spot/mc/unionfind.hh: here.
    d3d833bd
ec.hh 8 KB