Module: ppl/ppl Branch: master Commit: 4280bc6f3e284b36f7cef0412733a44c28b08cd2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280bc6f3e284...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 21 15:26:09 2009 +0100
Two non-urgent FIXMEs better documented.
---
src/Determinate.inlines.hh | 10 +++++++--- 1 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/src/Determinate.inlines.hh b/src/Determinate.inlines.hh index c14927a..9aee467 100644 --- a/src/Determinate.inlines.hh +++ b/src/Determinate.inlines.hh @@ -178,14 +178,18 @@ Determinate<PS>::meet_assign(const Determinate& y) { template <typename PS> inline bool Determinate<PS>::has_nontrivial_weakening() { - // FIXME(0.10.1) - return true; + // FIXME: the following should be turned into a query to PS. This + // can be postponed until the time the ask-and-tell construction is + // revived. + return false; }
template <typename PS> inline void Determinate<PS>::weakening_assign(const Determinate& y) { - // FIXME(0.10.1) + // FIXME: the following should be turned into a proper + // implementation. This can be postponed until the time the + // ask-and-tell construction is revived. element().difference_assign(y.element()); }