1#ifndef BOOST_QVM_DEDUCE_MAT_HPP_INCLUDED
2#define BOOST_QVM_DEDUCE_MAT_HPP_INCLUDED
3
4// Copyright 2008-2022 Emil Dotchevski and Reverge Studios, Inc.
5
6// Distributed under the Boost Software License, Version 1.0. (See accompanying
7// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8
9#include <boost/qvm/deduce_scalar.hpp>
10#include <boost/qvm/mat_traits.hpp>
11#include <boost/qvm/static_assert.hpp>
12
13namespace boost { namespace qvm {
14
15template <class T,int Rows,int Cols>
16struct mat;
17
18namespace
19qvm_detail
20 {
21 template <class M,int R,int C,class S,
22 int MR=mat_traits<M>::rows,
23 int MC=mat_traits<M>::cols,
24 class MS=typename mat_traits<M>::scalar_type>
25 struct
26 deduce_m_default
27 {
28 BOOST_QVM_STATIC_ASSERT(is_mat<M>::value);
29 typedef mat<typename mat_traits<M>::scalar_type,R,C> type;
30 };
31
32 template <class M,int R,int C,class S>
33 struct
34 deduce_m_default<M,R,C,S,R,C,S>
35 {
36 BOOST_QVM_STATIC_ASSERT(is_mat<M>::value);
37 typedef M type;
38 };
39 }
40
41template <class M,int R=mat_traits<M>::rows,int C=mat_traits<M>::cols,class S=typename mat_traits<M>::scalar_type>
42struct
43deduce_mat
44 {
45 BOOST_QVM_STATIC_ASSERT(is_mat<M>::value);
46 typedef typename qvm_detail::deduce_m_default<M,R,C,S>::type type;
47 };
48
49namespace
50qvm_detail
51 {
52 template <class A,class B,int R,int C,class S,
53 bool IsScalarA=is_scalar<A>::value,
54 bool IsScalarB=is_scalar<B>::value>
55 struct
56 deduce_m2_default
57 {
58 typedef mat<S,R,C> type;
59 };
60
61 template <class M,int R,int C,class S>
62 struct
63 deduce_m2_default<M,M,R,C,S,false,false>
64 {
65 BOOST_QVM_STATIC_ASSERT(is_mat<M>::value);
66 typedef M type;
67 };
68
69 template <class A,class B,int R,int C,class S>
70 struct
71 deduce_m2_default<A,B,R,C,S,false,true>
72 {
73 BOOST_QVM_STATIC_ASSERT(is_mat<A>::value);
74 typedef typename deduce_mat<A,R,C,S>::type type;
75 };
76
77 template <class A,class B,int R,int C,class S>
78 struct
79 deduce_m2_default<A,B,R,C,S,true,false>
80 {
81 BOOST_QVM_STATIC_ASSERT(is_mat<B>::value);
82 typedef typename deduce_mat<B,R,C,S>::type type;
83 };
84 }
85
86template <class A,class B,int R,int C,class S=typename deduce_scalar<typename scalar<A>::type,typename scalar<B>::type>::type>
87struct
88deduce_mat2
89 {
90 BOOST_QVM_STATIC_ASSERT(is_mat<A>::value || is_mat<B>::value);
91 typedef typename qvm_detail::deduce_m2_default<A,B,R,C,S>::type type;
92 };
93
94} }
95
96#endif
97

source code of boost/libs/qvm/include/boost/qvm/deduce_mat.hpp