-
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.
32e52318
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.