Skip to content
  • Etienne Renault's avatar
    ec: Renault et al LPAR'13 emptiness check · 53e9acf8
    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.
    53e9acf8