1. 27 Mar, 2018 1 commit
    • 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