/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_rewriter.cpp | 111 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 D | bit_blaster_rewriter.cpp | 111 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 D | SVGFEMergeNodeElement.h | 22 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 D | SVGFEFloodElement.h | 24 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 D | SVGFETileElement.h | 24 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 D | SVGFEComponentTransferElement.h | 24 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 D | SVGFEOffsetElement.h | 25 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 D | SVGFEDiffuseLightingElement.h | 25 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 D | SVGFEColorMatrixElement.h | 36 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 D | SVGFEBlendElement.h | 36 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 D | SVGFESpecularLightingElement.h | 25 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 D | SVGFEMergeNodeElement.h | 22 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 D | SVGFEComponentTransferElement.h | 24 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 D | SVGFETileElement.h | 24 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 D | SVGFEFloodElement.h | 24 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 D | SVGFEOffsetElement.h | 25 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 D | SVGFEDiffuseLightingElement.h | 25 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 D | SVGFEColorMatrixElement.h | 36 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 D | SVGFEBlendElement.h | 36 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 D | test_matrix_fixed_io.cxx | 18 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 D | test_sym_matrix_io.cxx | 15 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 D | test_matrix_io.cxx | 17 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 D | test_matrix_fixed_io.cxx | 16 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 D | test_sym_matrix_io.cxx | 16 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 D | test_matrix_io.cxx | 18 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()
|