---
milena/ChangeLog | 4 ++++
milena/mln/value/builtin/symbolics.hh | 6 +++++-
2 files changed, 9 insertions(+), 1 deletions(-)
diff --git a/milena/ChangeLog b/milena/ChangeLog
index a7bb97c..89ce238 100644
--- a/milena/ChangeLog
+++ b/milena/ChangeLog
@@ -1,3 +1,7 @@
+2013-04-03 Guillaume Lazzara <z(a)lrde.epita.fr>
+
+ * mln/value/builtin/symbolics.hh: Add min() and max() for Boolean.
+
2013-04-02 Guillaume Lazzara <z(a)lrde.epita.fr>
* mln/io/svg/simple_svg_1.0.0.hh: Remove.
diff --git a/milena/mln/value/builtin/symbolics.hh
b/milena/mln/value/builtin/symbolics.hh
index fd266ad..6d160d1 100644
--- a/milena/mln/value/builtin/symbolics.hh
+++ b/milena/mln/value/builtin/symbolics.hh
@@ -1,4 +1,5 @@
-// Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE)
+// Copyright (C) 2007, 2008, 2009, 2013 EPITA Research and Development
+// Laboratory (LRDE)
//
// This file is part of Olena.
//
@@ -63,6 +64,9 @@ namespace mln
};
typedef value::quant::low quant;
+ static const int min() { return 0; }
+ static const int max() { return 1; }
+
static const char* name() { return "bool"; }
};
--
1.7.2.5