-
Etienne Renault authored
Passing atomic propositions by reference allows to save very little memory so it doesn't worth complexifying memory management. * spot/twacube/twacube.cc, spot/twacube/twacube.hh: here.
dc925288
Passing atomic propositions by reference allows to save very little memory so it doesn't worth complexifying memory management. * spot/twacube/twacube.cc, spot/twacube/twacube.hh: here.