/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | cnf_proof.cpp | 887 Node parent_base = parent.getKind()==kind::NOT ? parent[0] : parent; in printProofTopLevel() local 890 for( unsigned i=0; i<parent_base.getNumChildren(); i++ ){ in printProofTopLevel() 891 … Node child_base = parent_base[i].getKind()==kind::NOT ? parent_base[i][0] : parent_base[i]; in printProofTopLevel() 892 bool child_pol = parent_base[i].getKind()!=kind::NOT; in printProofTopLevel() 893 if( parent_base.getKind()==kind::IMPLIES && i==0 ){ in printProofTopLevel() 897 (e_pol==child_pol)==(parent_base.getKind()==kind::AND)) { in printProofTopLevel() 898 bool elimNn = ((parent_base.getKind()==kind::OR || in printProofTopLevel() 904 if (i+1 < parent_base.getNumChildren()) { in printProofTopLevel() 906 if( parent_base.getKind()==kind::OR || in printProofTopLevel() 907 parent_base.getKind()==kind::IMPLIES ){ in printProofTopLevel() [all …]
|
/dports/audio/raul/raul-e87bb398f025912fb989a09f1450b838b251aea1/raul/ |
H A D | Path.hpp | 114 const std::string parent_base = parent.base(); 115 return substr(0, parent_base.length()) == parent_base;
|
/dports/chinese/wordpress-zh_TW/wordpress/wp-includes/rest-api/endpoints/ |
H A D | class-wp-rest-autosaves-controller.php | 50 private $parent_base; variable in WP_REST_Autosaves_Controller 72 …$this->parent_base = ! empty( $post_type_object->rest_base ) ? $post_type_object->rest_ba… 85 '/' . $this->parent_base . '/(?P<id>[\d]+)/' . $this->rest_base, 111 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base . '/(?P<id>[\d]+)',
|
H A D | class-wp-rest-revisions-controller.php | 41 private $parent_base; variable in WP_REST_Revisions_Controller 55 …$this->parent_base = ! empty( $post_type_object->rest_base ) ? $post_type_object->rest_base … 74 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base, 94 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base . '/(?P<id>[\d]+)', 337 …t_params ), rest_url( sprintf( '%s/%s/%d/%s', $this->namespace, $this->parent_base, $request['pare… 620 …ink( 'parent', rest_url( sprintf( '%s/%s/%d', $this->namespace, $this->parent_base, $data['parent'…
|
/dports/chinese/wordpress-zh_CN/wordpress/wp-includes/rest-api/endpoints/ |
H A D | class-wp-rest-autosaves-controller.php | 50 private $parent_base; variable in WP_REST_Autosaves_Controller 72 …$this->parent_base = ! empty( $post_type_object->rest_base ) ? $post_type_object->rest_ba… 85 '/' . $this->parent_base . '/(?P<id>[\d]+)/' . $this->rest_base, 111 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base . '/(?P<id>[\d]+)',
|
H A D | class-wp-rest-revisions-controller.php | 41 private $parent_base; variable in WP_REST_Revisions_Controller 55 …$this->parent_base = ! empty( $post_type_object->rest_base ) ? $post_type_object->rest_base … 74 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base, 94 '/' . $this->parent_base . '/(?P<parent>[\d]+)/' . $this->rest_base . '/(?P<id>[\d]+)', 337 …t_params ), rest_url( sprintf( '%s/%s/%d/%s', $this->namespace, $this->parent_base, $request['pare… 620 …ink( 'parent', rest_url( sprintf( '%s/%s/%d', $this->namespace, $this->parent_base, $data['parent'…
|
/dports/ftp/wget/wget-1.21.2/fuzz/ |
H A D | wget_css_fuzzer.c | 100 .parent_base = strdup("https://x.y"), in LLVMFuzzerTestOneInput() 113 free((void *) ctx.parent_base); in LLVMFuzzerTestOneInput()
|
/dports/misc/adios2/ADIOS2-2.7.1/thirdparty/ffs/ffs/fm/ |
H A D | fm_dump.c | 291 dump_subfield(void *base, FMFormat f, dstate s, int data_offset, void* parent_base, FMTypeDesc *t); 377 determine_dump_size(FMFormat f, void *data, void* parent_base, FMTypeDesc *t) in determine_dump_size() argument 392 int tmp = quick_get_ulong(&src_spec, parent_base); in determine_dump_size() 399 size *= determine_dump_size(f, data, parent_base, t); in determine_dump_size() 526 dump_subfield(void*base, FMFormat f, dstate s, int data_offset, void* parent_base, FMTypeDesc *t) in dump_subfield() argument 570 return dump_subfield(ptr_value, f, s, 0, parent_base, t->next); in dump_subfield() 604 int tmp = quick_get_ulong(&src_spec, parent_base); in dump_subfield() 612 element_size = determine_dump_size(f, base, parent_base, next); in dump_subfield() 615 if (!dump_subfield(base, f, s, element_offset, parent_base, next)) return 0; in dump_subfield()
|
/dports/textproc/p5-XML-Filter-XInclude/XML-Filter-XInclude-1.0/lib/XML/Filter/ |
H A D | XInclude.pm | 49 my $parent_base = $self->{bases}[-1]; 50 my $current_base = $parent_base; 53 $current_base = URI->new_abs($base, $parent_base) ||
|
/dports/devel/asyncplusplus/asyncplusplus-1.1/include/async++/ |
H A D | task_base.h | 483 void unwrapped_finish(task_base* parent_base, Child child_task) 486 parent_base->state.store(task_state::unwrapped, std::memory_order_relaxed); 487 static_cast<task_func<Sched, Func, Result>*>(parent_base)->destroy_func(); 491 parent_base->add_ref(); 492 child_task.then(inline_scheduler(), unwrapped_func<Result, Child>(task_ptr(parent_base))); 495 static_cast<task_result<Result>*>(parent_base)->cancel_base(std::current_exception());
|
/dports/lang/spidermonkey60/firefox-60.9.0/servo/components/layout/ |
H A D | parallel.rs | 106 let parent_base = parent.mut_base(); in bottom_up_flow() localVariable 107 if parent_base.parallel.children_count.fetch_sub(1, Ordering::Relaxed) == 1 { in bottom_up_flow()
|
/dports/ftp/wget/wget-1.21.2/src/ |
H A D | html-url.h | 43 const char *parent_base; /* Base of the current document. */ member
|
/dports/chinese/wordpress-zh_CN/wordpress/wp-admin/includes/ |
H A D | class-wp-screen.php | 93 public $parent_base; variable in WP_Screen 487 list( $this->parent_base ) = explode( '?', $parent_file ); 488 $this->parent_base = str_replace( '.php', '', $this->parent_base );
|
/dports/chinese/wordpress-zh_TW/wordpress/wp-admin/includes/ |
H A D | class-wp-screen.php | 93 public $parent_base; variable in WP_Screen 487 list( $this->parent_base ) = explode( '?', $parent_file ); 488 $this->parent_base = str_replace( '.php', '', $this->parent_base );
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/irqchip/ |
H A D | qcom-pdc.c | 35 u32 parent_base; member 242 return (region->parent_base + pin - region->pin_base); in get_parent_hwirq() 385 &pdc_region[n].parent_base); in pdc_setup_pin_mapping()
|
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/irqchip/ |
H A D | qcom-pdc.c | 35 u32 parent_base; member 242 return (region->parent_base + pin - region->pin_base); in get_parent_hwirq() 385 &pdc_region[n].parent_base); in pdc_setup_pin_mapping()
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/irqchip/ |
H A D | qcom-pdc.c | 35 u32 parent_base; member 242 return (region->parent_base + pin - region->pin_base); in get_parent_hwirq() 385 &pdc_region[n].parent_base); in pdc_setup_pin_mapping()
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gdb/sim/ppc/ |
H A D | hw_phb.c | 194 unsigned_word parent_base; member 273 pci_space->parent_base = parent_attach_address; in hw_phb_init_address() 889 if (addr >= pci_space->parent_base in find_phb_space() 890 && (addr + nr_bytes) <= (pci_space->parent_base + pci_space->size)) { in find_phb_space() 902 return addr - space->parent_base + space->my_base; in map_phb_addr()
|
/dports/devel/avr-gdb/gdb-7.3.1/sim/ppc/ |
H A D | hw_phb.c | 194 unsigned_word parent_base; member 273 pci_space->parent_base = parent_attach_address; in hw_phb_init_address() 889 if (addr >= pci_space->parent_base in find_phb_space() 890 && (addr + nr_bytes) <= (pci_space->parent_base + pci_space->size)) { in find_phb_space() 902 return addr - space->parent_base + space->my_base; in map_phb_addr()
|
/dports/devel/gdb761/gdb-7.6.1/sim/ppc/ |
H A D | hw_phb.c | 193 unsigned_word parent_base; member 272 pci_space->parent_base = parent_attach_address; in hw_phb_init_address() 888 if (addr >= pci_space->parent_base in find_phb_space() 889 && (addr + nr_bytes) <= (pci_space->parent_base + pci_space->size)) { in find_phb_space() 901 return addr - space->parent_base + space->my_base; in map_phb_addr()
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/sim/ppc/ |
H A D | hw_phb.c | 194 unsigned_word parent_base; member 273 pci_space->parent_base = parent_attach_address; in hw_phb_init_address() 889 if (addr >= pci_space->parent_base in find_phb_space() 890 && (addr + nr_bytes) <= (pci_space->parent_base + pci_space->size)) { in find_phb_space() 902 return addr - space->parent_base + space->my_base; in map_phb_addr()
|
/dports/www/firefox-esr/firefox-91.8.0/python/mozbuild/mozpack/packager/ |
H A D | formats.py | 273 parent_base = mozpath.basedir(base, self._sub_formatter.keys()) 274 rel_base = mozpath.relpath(base, parent_base) 277 parent_sub_formatter = self._sub_formatter[parent_base]
|
/dports/www/firefox/firefox-99.0/python/mozbuild/mozpack/packager/ |
H A D | formats.py | 273 parent_base = mozpath.basedir(base, self._sub_formatter.keys()) 274 rel_base = mozpath.relpath(base, parent_base) 277 parent_sub_formatter = self._sub_formatter[parent_base]
|
/dports/mail/thunderbird/thunderbird-91.8.0/python/mozbuild/mozpack/packager/ |
H A D | formats.py | 273 parent_base = mozpath.basedir(base, self._sub_formatter.keys()) 274 rel_base = mozpath.relpath(base, parent_base) 277 parent_sub_formatter = self._sub_formatter[parent_base]
|
/dports/lang/spidermonkey78/firefox-78.9.0/python/mozbuild/mozpack/packager/ |
H A D | formats.py | 273 parent_base = mozpath.basedir(base, self._sub_formatter.keys()) 274 rel_base = mozpath.relpath(base, parent_base) 277 parent_sub_formatter = self._sub_formatter[parent_base]
|