/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | sygus_grammar_norm.cpp | 42 if (ind == op_pos.size()) in getOrMakeType() 67 return d_children[op_pos[ind]].getOrMakeType(tn, unres_tn, op_pos, ind + 1); in getOrMakeType() 248 std::set_difference(op_pos.begin(), in buildType() 249 op_pos.end(), in buildType() 253 op_pos = difference; in buildType() 293 std::sort(op_pos.begin(), op_pos.end()); in buildType() 297 op_pos.end(), in buildType() 301 op_pos = difference; in buildType() 467 chain_op_pos = op_pos[i]; in inferTransf() 510 std::sort(op_pos.begin(), op_pos.end()); in normalizeSygusRec() [all …]
|
H A D | sygus_grammar_norm.h | 90 const std::vector<unsigned>& op_pos, 275 std::vector<unsigned>& op_pos) = 0; 293 std::vector<unsigned>& op_pos) override; 351 std::vector<unsigned>& op_pos) override; 443 std::vector<unsigned>& op_pos); 458 const std::vector<unsigned>& op_pos);
|
/dports/graphics/box/box-0.4.0/box/ |
H A D | vmdasm.c | 40 size_t op_pos; in BoxVM_Disassemble_Block() local 46 for (op_pos = 0; op_pos < dim;) { in BoxVM_Disassemble_Block() 47 BoxVMWord *op_addr = & ((BoxVMWord *) prog)[op_pos]; in BoxVM_Disassemble_Block() 53 dasm.op_pos = op_pos; in BoxVM_Disassemble_Block() 65 op_pos += dasm.op.next; in BoxVM_Disassemble_Block()
|
H A D | vm2txt.c | 116 op->args[0] += dasm->op_pos; in My_Op_Dasm() 142 fprintf(output, SUInt "\t", (BoxUInt) (dasm->op_pos * sizeof(BoxVMWord))); in My_Op_Dasm() 144 fprintf(output, BoxVMWord_Fmt"\t", data->bytecode[dasm->op_pos]); in My_Op_Dasm() 210 data->bytecode[dasm->op_pos + i]); in My_Op_Dasm()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/prims/ |
H A D | jvmtiTrace.cpp | 88 const char *op_pos = strchr(curr, '+'); in initialize() local 90 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 91 op_pos = minus_pos; in initialize() 94 const char *flags = op_pos + 1; in initialize() 96 if (op_pos == NULL || op_pos > curr_end) { in initialize() 99 op_pos = curr_end; in initialize() 102 op = *op_pos; in initialize() 139 size_t len = op_pos - curr; in initialize() 140 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/prims/ |
H A D | jvmtiTrace.cpp | 88 const char *op_pos = strchr(curr, '+'); in initialize() local 90 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 91 op_pos = minus_pos; in initialize() 94 const char *flags = op_pos + 1; in initialize() 96 if (op_pos == NULL || op_pos > curr_end) { in initialize() 99 op_pos = curr_end; in initialize() 102 op = *op_pos; in initialize() 139 size_t len = op_pos - curr; in initialize() 140 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 102 const char *op_pos = strchr(curr, '+'); in initialize() local 104 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 105 op_pos = minus_pos; in initialize() 108 const char *flags = op_pos + 1; in initialize() 110 if (op_pos == NULL || op_pos > curr_end) { in initialize() 113 op_pos = curr_end; in initialize() 116 op = *op_pos; in initialize() 153 size_t len = op_pos - curr; in initialize() 154 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 102 const char *op_pos = strchr(curr, '+'); in initialize() local 104 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 105 op_pos = minus_pos; in initialize() 108 const char *flags = op_pos + 1; in initialize() 110 if (op_pos == NULL || op_pos > curr_end) { in initialize() 113 op_pos = curr_end; in initialize() 116 op = *op_pos; in initialize() 153 size_t len = op_pos - curr; in initialize() 154 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 103 const char *op_pos = strchr(curr, '+'); in initialize() local 105 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 106 op_pos = minus_pos; in initialize() 109 const char *flags = op_pos + 1; in initialize() 111 if (op_pos == NULL || op_pos > curr_end) { in initialize() 114 op_pos = curr_end; in initialize() 117 op = *op_pos; in initialize() 154 size_t len = op_pos - curr; in initialize() 155 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 102 const char *op_pos = strchr(curr, '+'); in initialize() local 104 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 105 op_pos = minus_pos; in initialize() 108 const char *flags = op_pos + 1; in initialize() 110 if (op_pos == NULL || op_pos > curr_end) { in initialize() 113 op_pos = curr_end; in initialize() 116 op = *op_pos; in initialize() 153 size_t len = op_pos - curr; in initialize() 154 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 104 const char *op_pos = strchr(curr, '+'); in initialize() local 106 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 107 op_pos = minus_pos; in initialize() 110 const char *flags = op_pos + 1; in initialize() 112 if (op_pos == NULL || op_pos > curr_end) { in initialize() 115 op_pos = curr_end; in initialize() 118 op = *op_pos; in initialize() 155 size_t len = op_pos - curr; in initialize() 156 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 104 const char *op_pos = strchr(curr, '+'); in initialize() local 106 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 107 op_pos = minus_pos; in initialize() 110 const char *flags = op_pos + 1; in initialize() 112 if (op_pos == NULL || op_pos > curr_end) { in initialize() 115 op_pos = curr_end; in initialize() 118 op = *op_pos; in initialize() 155 size_t len = op_pos - curr; in initialize() 156 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 103 const char *op_pos = strchr(curr, '+'); in initialize() local 105 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 106 op_pos = minus_pos; in initialize() 109 const char *flags = op_pos + 1; in initialize() 111 if (op_pos == NULL || op_pos > curr_end) { in initialize() 114 op_pos = curr_end; in initialize() 117 op = *op_pos; in initialize() 154 size_t len = op_pos - curr; in initialize() 155 if (op_pos == curr) { in initialize()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/hotspot/share/prims/ |
H A D | jvmtiTrace.cpp | 103 const char *op_pos = strchr(curr, '+'); in initialize() local 105 if (minus_pos != NULL && (minus_pos < op_pos || op_pos == NULL)) { in initialize() 106 op_pos = minus_pos; in initialize() 109 const char *flags = op_pos + 1; in initialize() 111 if (op_pos == NULL || op_pos > curr_end) { in initialize() 114 op_pos = curr_end; in initialize() 117 op = *op_pos; in initialize() 154 size_t len = op_pos - curr; in initialize() 155 if (op_pos == curr) { in initialize()
|
/dports/graphics/mesa-dri-classic/mesa-20.2.3/scons/ |
H A D | source_list.py | 60 op_pos = line.find('=') 61 op_end = op_pos + 1 62 if op_pos < 0: 65 if op_pos > 0: 66 if line[op_pos - 1] in [':', '+', '?']: 67 op_pos -= 1 72 op = line[op_pos:op_end] 73 sym = line[:op_pos].strip()
|
/dports/devel/radare2/radare2-5.1.1/libr/anal/ |
H A D | bb.c | 52 return (i > 0 && (i - 1) < bb->op_pos_size)? bb->op_pos[i - 1]: 0; in r_anal_bb_offset_inst() 71 ut16 *tmp_op_pos = realloc (bb->op_pos, new_pos_size * sizeof (*bb->op_pos)); in r_anal_bb_set_offset() 76 bb->op_pos = tmp_op_pos; in r_anal_bb_set_offset() 78 bb->op_pos[i - 1] = v; in r_anal_bb_set_offset()
|
/dports/sysutils/py-ansible-core/ansible-core-2.11.6/lib/ansible/galaxy/dependency_resolution/ |
H A D | versioning.py | 50 op_pos = 2 if len(req) > 1 and req[1] == '=' else 1 51 op = op_map.get(req[:op_pos]) 53 requirement = req[op_pos:]
|
/dports/textproc/ffe/ffe-0.3.9/src/ |
H A D | ffe.c | 680 char *op_pos; in add_replace() local 683 if((op_pos = strchr(optarg,'=')) == NULL) in add_replace() 688 *op_pos = 0; in add_replace() 706 op_pos++; in add_replace() 707 r->value = (uint8_t *) xstrdup(op_pos); in add_replace() 782 char *op_pos; in add_expression() local 788 if((op_pos = strchr(optarg,OP_REQEXP)) != NULL) in add_expression() 812 *op_pos = 0; in add_expression() 854 op_pos++; in add_expression() 855 if(strstr(op_pos,"file:") == op_pos) in add_expression() [all …]
|
/dports/science/cgnslib/CGNS-4.1.2/src/cgnstools/calclib/ |
H A D | vec.c | 843 int cur_op = op_pos; in parse() 884 op_pos = cur_op; in parse() 1343 if (op_pos >= op_size) { 1353 op_start[op_pos].len = 1; 1357 op_start[op_pos].len = 1; 1371 op_start[op_pos].len = 1; 1377 op_start[op_pos].len = 0; 1381 op_start[op_pos].op = op; 1384 op_pos++; 2193 else if (op_pos == 0) [all …]
|
/dports/lang/gnu-cobol/gnucobol-3.1.2/cobc/ |
H A D | field.c | 70 if (op_pos >= 0) { in cb_is_expr() 95 if (op_pos >= 0 in cb_eval_op() 188 op_pos--; in cb_eval_op() 191 op_pos--; in cb_eval_op() 194 op_pos--; in cb_eval_op() 208 while (op_pos >= 0 in cb_push_op() 219 op_pos++; in cb_push_op() 284 op_pos--; in cb_evaluate_expr() 321 while (op_pos >= 0 in cb_evaluate_expr() 325 op_pos--; in cb_evaluate_expr() [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/spirit/example/karma/ |
H A D | calc2_ast_vm.hpp | 112 op_pos, // essentially a no-op (unary plus) enumerator 187 boost::phoenix::function<unary_expr<op_pos> > pos;
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/spirit/example/karma/ |
H A D | calc2_ast_vm.hpp | 112 op_pos, // essentially a no-op (unary plus) enumerator 187 boost::phoenix::function<unary_expr<op_pos> > pos;
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/spirit/example/karma/ |
H A D | calc2_ast_vm.hpp | 112 op_pos, // essentially a no-op (unary plus) enumerator 187 boost::phoenix::function<unary_expr<op_pos> > pos;
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/spirit/example/karma/ |
H A D | calc2_ast_vm.hpp | 112 op_pos, // essentially a no-op (unary plus) enumerator 187 boost::phoenix::function<unary_expr<op_pos> > pos;
|
/dports/databases/percona57-server/boost_1_59_0/libs/spirit/example/karma/ |
H A D | calc2_ast_vm.hpp | 112 op_pos, // essentially a no-op (unary plus) enumerator 187 boost::phoenix::function<unary_expr<op_pos> > pos;
|