Home
last modified time | relevance | path

Searched refs:product_spec (Results 1 – 3 of 3) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_mk_explanations.cpp668 rel_spec product_spec; in assign_rel_level_kind() local
669 product_spec.push_back(inner_sieve_kind); in assign_rel_level_kind()
670 product_spec.push_back(expl_sieve_kind); in assign_rel_level_kind()
673 product_relation_plugin::get_plugin(rmgr).get_relation_kind(sig, product_spec); in assign_rel_level_kind()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_mk_explanations.cpp668 rel_spec product_spec; in assign_rel_level_kind() local
669 product_spec.push_back(inner_sieve_kind); in assign_rel_level_kind()
670 product_spec.push_back(expl_sieve_kind); in assign_rel_level_kind()
673 product_relation_plugin::get_plugin(rmgr).get_relation_kind(sig, product_spec); in assign_rel_level_kind()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/blink/perf_tests/parser/resources/
H A Dfinal-url-en40036 http://www.epson.co.uk/products/inkjet_printers/product_spec/Stylus_Pro_4000.htm
40037 http://www.epson.co.uk/products/inkjet_printers/product_spec/Stylus_Pro_7600.htm
40038 http://www.epson.co.uk/products/inkjet_printers/product_spec/Stylus_Pro_9600.htm