Searched refs:pow_two (Results 1 – 8 of 8) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | cegis_unif.cpp | 477 unsigned pow_two = Integer(new_size).isPow2(); in mkLiteral() local
478 if (pow_two > 0) in mkLiteral()
482 nm->mkNode(GEQ, size_ve, nm->mkConst(Rational(pow_two - 1))); in mkLiteral()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | theory_bv_rewrite_rules_operator_elimination.h | 106 Node pow_two = utils::mkConst(size, val); in apply() local
107 Node a = nm->mkNode(kind::BITVECTOR_PLUS, node[0], pow_two); in apply()
108 Node b = nm->mkNode(kind::BITVECTOR_PLUS, node[1], pow_two); in apply()
|
| /dports/misc/vxl/vxl-3.3.2/contrib/brl/bseg/brip/ |
| H A D | brip_vil1_float_ops.cxx | 1508 vil1_memory_image_of<float> pow_two, mag, bmag, phase, pow_two_filt; in spatial_frequency_filter() local
1509 brip_vil1_float_ops::resize_to_power_of_two(input, pow_two); in spatial_frequency_filter()
1510 const int Nfx = pow_two.width(), Nfy = pow_two.height(); in spatial_frequency_filter()
1512 if (!brip_vil1_float_ops::fourier_transform(pow_two, mag, phase)) in spatial_frequency_filter()
|
| H A D | brip_vil_float_ops.cxx | 2572 vil_image_view<float> pow_two, mag, bmag, phase, pow_two_filt; in spatial_frequency_filter() local
2573 brip_vil_float_ops::resize_to_power_of_two(input, pow_two); in spatial_frequency_filter()
2574 unsigned Nfx = pow_two.ni(), Nfy = pow_two.nj(); in spatial_frequency_filter()
2576 if (!brip_vil_float_ops::fourier_transform(pow_two, mag, phase)) in spatial_frequency_filter()
|
| /dports/graphics/vapoursynth-waifu2x-ncnn-vulkan/vapoursynth-waifu2x-ncnn-vulkan-r4/deps/ncnn/tools/onnx/ |
| H A D | onnx2ncnn.cpp | 1473 const onnx::TensorProto& pow_two = weights[node3->input(1)]; in fuse_layernorm() local
1474 if (pow_two.dims_size() != 0 || get_tensor_proto_data_size(pow_two) != 1) in fuse_layernorm()
1477 float constant_pow_two = get_node_attr_from_input_f(pow_two); in fuse_layernorm()
|
| /dports/graphics/waifu2x-ncnn-vulkan/waifu2x-ncnn-vulkan-20210521/src/ncnn/tools/onnx/ |
| H A D | onnx2ncnn.cpp | 1473 const onnx::TensorProto& pow_two = weights[node3->input(1)]; in fuse_layernorm() local
1474 if (pow_two.dims_size() != 0 || get_tensor_proto_data_size(pow_two) != 1) in fuse_layernorm()
1477 float constant_pow_two = get_node_attr_from_input_f(pow_two); in fuse_layernorm()
|
| /dports/benchmarks/vkpeak/vkpeak-20210430/ncnn/tools/onnx/ |
| H A D | onnx2ncnn.cpp | 1473 const onnx::TensorProto& pow_two = weights[node3->input(1)]; in fuse_layernorm() local
1474 if (pow_two.dims_size() != 0 || get_tensor_proto_data_size(pow_two) != 1) in fuse_layernorm()
1477 float constant_pow_two = get_node_attr_from_input_f(pow_two); in fuse_layernorm()
|
| /dports/misc/ncnn/ncnn-20211208/tools/onnx/ |
| H A D | onnx2ncnn.cpp | 1473 const onnx::TensorProto& pow_two = weights[node3->input(1)]; in fuse_layernorm() local
1474 if (pow_two.dims_size() != 0 || get_tensor_proto_data_size(pow_two) != 1) in fuse_layernorm()
1477 float constant_pow_two = get_node_attr_from_input_f(pow_two); in fuse_layernorm()
|