1 /*
 2  *   Copyright (c) 2010, Michael Lehn
 3  *
 4  *   All rights reserved.
 5  *
 6  *   Redistribution and use in source and binary forms, with or without
 7  *   modification, are permitted provided that the following conditions
 8  *   are met:
 9  *
10  *   1) Redistributions of source code must retain the above copyright
11  *      notice, this list of conditions and the following disclaimer.
12  *   2) Redistributions in binary form must reproduce the above copyright
13  *      notice, this list of conditions and the following disclaimer in
14  *      the documentation and/or other materials provided with the
15  *      distribution.
16  *   3) Neither the name of the FLENS development group nor the names of
17  *      its contributors may be used to endorse or promote products derived
18  *      from this software without specific prior written permission.
19  *
20  *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
21  *   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
22  *   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
23  *   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
24  *   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
25  *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
26  *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27  *   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28  *   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29  *   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
30  *   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31  */
32 
33 #ifndef FLENS_SCALAROPERATIONS_PLUS_TCC
34 #define FLENS_SCALAROPERATIONS_PLUS_TCC 1
35 
36 namespace flens {
37 
38 template <typename L, typename R>
39 const typename ScalarClosure<ScalarOpPlus, L, R>::ElementType
40 evalScalarClosure(const ScalarClosure<ScalarOpPlus, L, R> &exp)
41 {
42     return exp.left().value() + exp.right().value();
43 }
44 
45 //-- operator overloading
46 template <typename L, typename R>
47 const ScalarClosure<ScalarOpPlus,
48                     typename L::Impl,
49                     typename R::Impl>
50 operator+(const Scalar<L> &l, const Scalar<R> &r)
51 {
52     typedef ScalarClosure<ScalarOpPlus, typename L::Impl, typename R::Impl> SC;
53     return SC(l.impl(), r.impl());
54 }
55 
56 template <typename ALPHA, typename R>
57 const typename 
58 RestrictTo<CompatibleScalar<ALPHA, R>::value, 
59     ScalarClosure<ScalarOpPlus,
60                   ScalarValue<ALPHA>,
61                   typename R::Impl>
62 >::Type
63 operator+(const ALPHA &alpha, const Scalar<R> &r)
64 {
65     typedef ScalarClosure<ScalarOpPlus,
66                           ScalarValue<ALPHA>,
67                           typename R::Impl>     SC;
68     return SC(alpha, r.impl());
69 }
70 
71 template <typename L, typename ALPHA>
72 const typename 
73 RestrictTo<CompatibleScalar<ALPHA, L>::value, 
74     ScalarClosure<ScalarOpPlus,
75                   typename L::Impl,
76                   ScalarValue<ALPHA> >
77 >::Type
78 operator+(const Scalar<L> &l, const ALPHA &alpha)
79 {
80     typedef ScalarClosure<ScalarOpPlus,
81                           typename L::Impl,
82                           ScalarValue<ALPHA> >  SC;
83     return SC(l.impl(), alpha);
84 }
85 
86 // namespace flens
87 
88 #endif // FLENS_SCALAROPERATIONS_PLUS_TCC