--- 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@lrde.epita.fr> + + * mln/value/builtin/symbolics.hh: Add min() and max() for Boolean. + 2013-04-02 Guillaume Lazzara <z@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..5bdef80 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 int min() { return 0; } + static int max() { return 1; } + static const char* name() { return "bool"; } }; -- 1.7.2.5