-
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.
8e0baec6