-
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.
046577f8
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.