Namespace of logic. More...

Namespaces
namespace	impl
	Implementation namespace of logical namespace.
namespace	internal
Functions
template<typename L , typename R >
mln::trait::ch_value< L, typename mln::fun::vv2v::land < typename L::value, typename R::value >::result >::ret	and_ (const Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
void	and_inplace (Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
mln::trait::ch_value< L, typename mln::fun::vv2v::land_not < typename L::value, typename R::value >::result >::ret	and_not (const Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
void	and_not_inplace (Image< L > &lhs, const Image< R > &rhs)
template<typename I >
mln::trait::concrete< I >::ret	not_ (const Image< I > &input)
template<typename I >
void	not_inplace (Image< I > &input)
template<typename L , typename R >
mln::trait::ch_value< L, typename mln::fun::vv2v::lor < typename L::value, typename R::value >::result >::ret	or_ (const Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
void	or_inplace (Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
mln::trait::ch_value< L, typename mln::fun::vv2v::lxor < typename L::value, typename R::value >::result >::ret	xor_ (const Image< L > &lhs, const Image< R > &rhs)
template<typename L , typename R >
void	xor_inplace (Image< L > &lhs, const Image< R > &rhs)

Detailed Description

Namespace of logic.

Function Documentation

template<typename L , typename R >

mln::trait::ch_value< L, typename mln::fun::vv2v::land< typename L::value, typename R::value >::result >::ret mln::logical::and_	(	const Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise "logical and" between images lhs and rhs.

Parameters:

`[in]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

Returns:: The result image.

Precondition:: lhs.domain == rhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform().

Referenced by mln::morpho::impl::hit_or_miss_logic(), and mln::morpho::impl::min_().

template<typename L , typename R >

void mln::logical::and_inplace	(	Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise in-place "logical and" of image rhs in image lhs.

Parameters:

`[in,out]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

It performs:
for all p of rhs.domain
lhs(p) = lhs(p) and rhs(p)

Precondition:: rhs.domain >= lhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform_inplace().

Referenced by mln::morpho::impl::min_inplace_().

template<typename L , typename R >

mln::trait::ch_value< L, typename mln::fun::vv2v::land_not< typename L::value, typename R::value >::result >::ret mln::logical::and_not	(	const Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise "logical and-not" between images lhs and rhs.

Parameters:

`[in]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

Returns:: The result image.

Precondition:: lhs.domain == rhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform().

Referenced by mln::morpho::impl::minus_().

template<typename L , typename R >

void mln::logical::and_not_inplace	(	Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise in-place "logical and-not" of image rhs in image lhs.

Parameters:

`[in,out]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

It performs:
for all p of rhs.domain
lhs(p) = lhs(p) and not rhs(p)

Precondition:: rhs.domain >= lhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform_inplace().

template<typename I >

mln::trait::concrete< I >::ret mln::logical::not_ ( const Image< I > & input ) [inline]

Point-wise "logical not" of image input.

Parameters:

[in] input the input image.

Returns:: The result image.

Precondition:: input.is_valid

References mln::trace::entering(), mln::exact(), mln::trace::exiting(), and mln::data::transform().

Referenced by mln::morpho::impl::complementation_(), mln::morpho::approx::impl::erosion_by_distance_thresholding_2d(), and mln::morpho::approx::impl::erosion_by_distance_thresholding_3d().

template<typename I >

void mln::logical::not_inplace ( Image< I > & input ) [inline]

Point-wise in-place "logical not" of image input.

Parameters:

[in,out] input The target image.

It performs:
for all p of input.domain
input(p) = not input(p)

Precondition:: input.is_valid

References mln::trace::entering(), mln::exact(), mln::trace::exiting(), and mln::data::transform_inplace().

Referenced by mln::morpho::impl::complementation_inplace_().

template<typename L , typename R >

mln::trait::ch_value< L, typename mln::fun::vv2v::lor< typename L::value, typename R::value >::result >::ret mln::logical::or_	(	const Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise "logical or" between images lhs and rhs.

Parameters:

`[in]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

Returns:: The result image.

Precondition:: lhs.domain == rhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform().

Referenced by mln::morpho::impl::plus_().

template<typename L , typename R >

void mln::logical::or_inplace	(	Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`

Point-wise in-place "logical or" of image rhs in image lhs.

Parameters:

`[in,out]`	lhs	First operand image.
`[in]`	rhs	Second operand image.

It performs:
for all p of rhs.domain
lhs(p) = lhs(p) or rhs(p)

Precondition:: rhs.domain >= lhs.domain

References mln::trace::entering(), mln::trace::exiting(), mln::logical::internal::tests(), and mln::data::transform_inplace().

template<typename L , typename R >

mln::trait::ch_value< L, typename mln::fun::vv2v::lxor< typename L::value, typename R::value >::result >::ret mln::logical::xor_	(	const Image< L > &	lhs,
		const Image< R > &	rhs
	)			`[inline]`