27 #ifndef MLN_TEST_POSITIVE_HH
28 # define MLN_TEST_POSITIVE_HH
35 # include <mln/test/predicate.hh>
36 # include <mln/pw/all.hh>
37 # include <mln/fun/v2v/id.hh>
38 # include <mln/literal/zero.hh>
55 bool positive(
const Image<I>& input);
58 # ifndef MLN_INCLUDE_ONLY
62 bool positive(
const Image<I>& input_)
64 mln_trace(
"test::positive");
66 const I& input =
exact(input_);
67 mln_precondition(input.is_valid());
71 mln_value(I) zero_ = literal::zero;
73 pw::
value(input) >= pw::cst(zero_));
81 # endif // ! MLN_INCLUDE_ONLY
88 #endif // ! MLN_TEST_POSITIVE_HH