compose_shared

Navigation: Up, Table of Contents, Package Overview, Bibliography, Index, Title Page , Acknowledging CGAL

CGAL::compose_shared

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.