Home
last modified time | relevance | path

Searched refs:m_in1 (Results 1 – 25 of 113) sorted by relevance

12345

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/
H A Dbit_blaster_rewriter.cpp111 m_in1.finalize(); in cleanup_buffers()
120 m_in1(m), in blaster_rewriter_cfg()
244 m_blaster.BB_OP(m_in1.size(), m_in1.data(), m_out); \
258 m_blaster.BB_OP(m_in1.size(), m_in1.data(), m_in2.data(), m_out); \
298 m_blaster.BB_OP(m_in1.size(), m_in1.data(), m_in2.data(), result); \
313 m_blaster.BB_OP(m_in1.size(), m_in1.data(), n, m_out); \
320 m_in1.reset(); in reduce_ite()
325 m_blaster.mk_multiplexer(arg1, m_in1.size(), m_in1.data(), m_in2.data(), m_out); in reduce_ite()
334 m_in1.reset(); in reduce_concat()
336 m_out.append(m_in1.size(), m_in1.data()); in reduce_concat()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/
H A Dbit_blaster_rewriter.cpp111 m_in1.finalize(); in cleanup_buffers()
120 m_in1(m), in blaster_rewriter_cfg()
247 m_blaster.BB_OP(m_in1.size(), m_in1.c_ptr(), m_out); \
261 m_blaster.BB_OP(m_in1.size(), m_in1.c_ptr(), m_in2.c_ptr(), m_out); \
300 m_blaster.BB_OP(m_in1.size(), m_in1.c_ptr(), m_in2.c_ptr(), result); \
315 m_blaster.BB_OP(m_in1.size(), m_in1.c_ptr(), n, m_out); \
322 m_in1.reset(); in reduce_ite()
336 m_in1.reset(); in reduce_concat()
338 m_out.append(m_in1.size(), m_in1.c_ptr()); in reduce_concat()
344 m_in1.reset(); in reduce_extract()
[all …]
/dports/astro/opencpn/OpenCPN-5.2.4/libs/wxsvg/include/wxSVG/
H A DSVGFEMergeNodeElement.h22 wxSVGAnimatedString m_in1;
25 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
26 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
27 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEFloodElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFETileElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEComponentTransferElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEOffsetElement.h25 wxSVGAnimatedString m_in1;
30 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
31 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
32 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEDiffuseLightingElement.h25 wxSVGAnimatedString m_in1;
30 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
31 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
32 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEColorMatrixElement.h36 wxSVGAnimatedString m_in1;
41 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
42 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
43 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEBlendElement.h36 wxSVGAnimatedString m_in1;
41 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
42 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
43 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFESpecularLightingElement.h25 wxSVGAnimatedString m_in1;
31 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
32 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
33 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
/dports/graphics/wxsvg/wxsvg-1.5.22/include/wxSVG/
H A DSVGFEMergeNodeElement.h22 wxSVGAnimatedString m_in1;
25 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
26 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
27 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEComponentTransferElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFETileElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEFloodElement.h24 wxSVGAnimatedString m_in1;
27 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
28 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
29 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEOffsetElement.h25 wxSVGAnimatedString m_in1;
30 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
31 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
32 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEDiffuseLightingElement.h25 wxSVGAnimatedString m_in1;
30 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
31 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
32 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEColorMatrixElement.h36 wxSVGAnimatedString m_in1;
41 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
42 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
43 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
H A DSVGFEBlendElement.h36 wxSVGAnimatedString m_in1;
41 inline const wxSVGAnimatedString& GetIn1() const { return m_in1; } in GetIn1()
42 inline void SetIn1(const wxSVGAnimatedString& n) { m_in1 = n; } in SetIn1()
43 inline void SetIn1(const wxString& n) { m_in1.SetBaseVal(n); } in SetIn1()
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/io/tests/
H A Dtest_matrix_fixed_io.cxx18 vnl_matrix_fixed<double,2,2> m_out(datablock), m_in0,m_in1; in test_matrix_fixed_double_2_2_io() local
21 m_in1 = m_out * 2.0; in test_matrix_fixed_double_2_2_io()
34 vsl_b_read(bfs_in, m_in1); in test_matrix_fixed_double_2_2_io()
42 TEST ("m_out == m_in1", m_out, m_in1); in test_matrix_fixed_double_2_2_io()
H A Dtest_sym_matrix_io.cxx15 vnl_sym_matrix<double> m_out( n), m_in1(n),m_in2; in test_sym_matrix_double_io() local
22 m_in1(i,j) = (double)(73); in test_sym_matrix_double_io()
35 vsl_b_read(bfs_in, m_in1); in test_sym_matrix_double_io()
43 TEST("m_out == m_in1", m_out, m_in1); in test_sym_matrix_double_io()
H A Dtest_matrix_io.cxx17 vnl_matrix<double> m_out(m, n), m_in1(m,n),m_in2; in test_matrix_double_io() local
24 m_in1(i,j) = (double)(73); in test_matrix_double_io()
37 vsl_b_read(bfs_in, m_in1); in test_matrix_double_io()
45 TEST("m_out == m_in1", m_out, m_in1); in test_matrix_double_io()
/dports/misc/vxl/vxl-3.3.2/core/vnl/io/tests/
H A Dtest_matrix_fixed_io.cxx16 vnl_matrix_fixed<double, 2, 2> m_out(datablock), m_in0, m_in1; in test_matrix_fixed_double_2_2_io() local
19 m_in1 = m_out * 2.0; in test_matrix_fixed_double_2_2_io()
30 vsl_b_read(bfs_in, m_in1); in test_matrix_fixed_double_2_2_io()
38 TEST("m_out == m_in1", m_out, m_in1); in test_matrix_fixed_double_2_2_io()
H A Dtest_sym_matrix_io.cxx16 vnl_sym_matrix<double> m_out(n), m_in1(n), m_in2; in test_sym_matrix_double_io() local
23 m_in1(i, j) = (double)(73); in test_sym_matrix_double_io()
36 vsl_b_read(bfs_in, m_in1); in test_sym_matrix_double_io()
44 TEST("m_out == m_in1", m_out, m_in1); in test_sym_matrix_double_io()
H A Dtest_matrix_io.cxx18 vnl_matrix<double> m_out(m, n), m_in1(m, n), m_in2; in test_matrix_double_io() local
25 m_in1(i, j) = (double)(73); in test_matrix_double_io()
37 vsl_b_read(bfs_in, m_in1); in test_matrix_double_io()
45 TEST("m_out == m_in1", m_out, m_in1); in test_matrix_double_io()

12345