compose_shared

Navigation: Up, Table of Contents, Bibliography, Index, Title Page

CGAL::compose_shared

Definition

The function compose_shared is used to compose functors

f₀,...,f_n into each other, thereby creating a new functor

f. The first argument

f₀ always denotes the base functor, for which the remaining functors

f₁,...,f_n provide the arguments. Contrary to the function compose, the arguments of

f are not split among

f₁,...,f_n, but instead shared by all the functors. Therefore, all the functors

f₁,...,f_n must have the same arity, which is also the arity of the composed functor

f. Two or three functors can be composed into the base functor, giving raise to a functor of arity at most five.

As an example, consider a binary functor f₀ and two binary functors f₁ and f₂. Composing f₁ and f₂ into f₀ yields a new binary functor

f: (x₀,x₁) f₀(f₁(x₀,x₁),f₂(x₀,x₁)).

#include <CGAL/functional.h>

template < class F0, class F1, class F2 >

typename Compose_shared< F0, F1, F2 >::Type
compose_shared ( F0 f0, F1 f1, F2 f2)
returns the functor f0(f1( · ),f2( · )) with the same arity as f1 (and f2).
Requirement: f0 is AdaptableFunctor of arity 2. f1 and f2 are AdaptableFunctors having the same arity.

template < class F0, class F1, class F2, class F3 >

typename Compose_shared< F0, F1, F2, F3 >::Type
compose_shared ( F0 f0, F1 f1, F2 f2, F3 f3)
returns the functor f0(f1( · ),f2( · ),f3( · )) with the same arity as f1 (and f2, f3).
Requirement: f0 is AdaptableFunctor of arity 3. f1, f2, and f3 are AdaptableFunctors having the same arity.

template < class F0, class F1, class F2 >
typename Compose_shared< F0, F1, F2 >::Type
	compose_shared ( F0 f0, F1 f1, F2 f2)
		returns the functor f0(f1( · ),f2( · )) with the same arity as f1 (and f2). Requirement: f0 is AdaptableFunctor of arity 2. f1 and f2 are AdaptableFunctors having the same arity.

template < class F0, class F1, class F2, class F3 >
typename Compose_shared< F0, F1, F2, F3 >::Type
	compose_shared ( F0 f0, F1 f1, F2 f2, F3 f3)
		returns the functor f0(f1( · ),f2( · ),f3( · )) with the same arity as f1 (and f2, f3). Requirement: f0 is AdaptableFunctor of arity 3. f1, f2, and f3 are AdaptableFunctors having the same arity.

CGAL::compose_shared

Definition

See Also