Commit 6cfbc4de authored by Michaël Roynard's avatar Michaël Roynard
Browse files

Add corrections to make later

parent a807bf64
Pipeline #12363 passed with stages
in 14 minutes and 14 seconds
......@@ -168,8 +168,8 @@ Core Module
.. topic:: Concepts
* :cpp:concept:`Segmented Range <mln::ranges::SegmentedRange>`
* :cpp:concept:`Reversible Range <mln::ranges::ReversibleRange>`
* :ref:`Segmented Range <concept-ranges-SegmentedRange>`
* :ref:`Reversible Range <concept-ranges-ReversibleRange>`
.. topic:: Utilities
......
......@@ -38,8 +38,7 @@ Let `SegRng` inherit all types defined for :cpp:concept:`ForwardRange (stl) <stl
.. rubric:: Expressions
Let `SegRng` inherit all valid expressions defined for :cpp:concept:`ForwardRange (stl) <stl::ForwardRange>`.
Let :
Let:
- ``rng`` be an instance of `SegRng`.
Then we have the following valid expressions :
......@@ -90,8 +89,7 @@ Let `RevRng` inherit all types defined for :cpp:concept:`ForwardRange (stl) <stl
.. rubric:: Expressions
Let `RevRng` inherit all valid expressions defined for :cpp:concept:`ForwardRange (stl) <stl::ForwardRange>`.
Let :
Let:
- ``rng`` be an instance of `RevRng`.
Then we have the following valid expressions :
......
......@@ -76,7 +76,8 @@ namespace mln::concepts
concept WritableImage =
Image<WIma> &&
requires(WIma ima) {
{ ima.new_pixels() } -> stl::OutputRange<image_value_t<WIma>>&&;
// FIXME : Writable Pixel
// { ima.new_pixels() } -> stl::OutputRange<image_value_t<WIma>>&&;
{ ima.new_values() } -> stl::OutputRange<image_value_t<WIma>>&&;
};
......@@ -167,7 +168,7 @@ namespace mln::concepts
BidirectionalImage<Ima> &&
stl::DerivedFrom<image_category_t<Ima>, raw_image_tag> &&
requires (Ima ima, const Ima cima, int dim) {
{ ima.data() } -> image_value_t<Ima>*;
{ ima.data() } -> stl::ConvertibleTo<const image_value_t<Ima>*>&&;
{ cima.strides(dim) } -> std::size_t;
};
......@@ -175,7 +176,9 @@ namespace mln::concepts
// WritableRawImage
template<typename WIma>
concept WritableRawImage =
WritableImage<WIma> &&
WritableIndexableImage<WIma> &&
WritableAccessibleImage<WIma> &&
WritableBidirectionalImage<WIma> &&
RawImage<WIma> &&
requires(WIma ima, image_value_t<WIma> v) {
{ *(ima.data()) = v };
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment