* spot/twacube_algos/convert.cc, spot/twacube_algos/convert.hh: Here. * tests/core/twacube.cc: Test it.