Image which domain is restricted by a function 'site -> Boolean'. More...
#include <image_if.hh>
Inherits image_domain_morpher< I, p_if< I::domain_t, F >, image_if< I, F > >.
Public Types | |
| typedef image_if< tag::image_ < I >, tag::function_< F > > | skeleton |
| Skeleton. | |
Public Member Functions | |
| const p_if< typename I::domain_t, F > & | domain () const |
| Give the definition domain. | |
| image_if (I &ima, const F &f) | |
Constructor from an image ima and a predicate f. | |
| image_if () | |
| Constructor without argument. | |
| operator image_if< const I, F > () const | |
| Const promotion via conversion. | |
Image which domain is restricted by a function 'site -> Boolean'.
Definition at line 93 of file image_if.hh.
| typedef image_if< tag::image_<I>, tag::function_<F> > mln::image_if< I, F >::skeleton |
Skeleton.
Definition at line 98 of file image_if.hh.
| mln::image_if< I, F >::image_if | ( | ) | [inline] |
Constructor without argument.
Definition at line 188 of file image_if.hh.
| mln::image_if< I, F >::image_if | ( | I & | ima, | |
| const F & | f | |||
| ) | [inline] |
Constructor from an image ima and a predicate f.
Definition at line 194 of file image_if.hh.
| const p_if< typename I::domain_t, F > & mln::image_if< I, F >::domain | ( | ) | const [inline] |
Give the definition domain.
Definition at line 211 of file image_if.hh.
| mln::image_if< I, F >::operator image_if< const I, F > | ( | ) | const [inline] |
Const promotion via conversion.
Definition at line 219 of file image_if.hh.
1.7.1