Home
last modified time | relevance | path

Searched refs:op_pos (Results 1 – 25 of 143) sorted by relevance

123456

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_grammar_norm.cpp42 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 Dsygus_grammar_norm.h90 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 Dvmdasm.c40 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 Dvm2txt.c116 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 DjvmtiTrace.cpp88 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 DjvmtiTrace.cpp88 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 DjvmtiTrace.cpp102 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 DjvmtiTrace.cpp102 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 DjvmtiTrace.cpp103 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 DjvmtiTrace.cpp102 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 DjvmtiTrace.cpp104 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 DjvmtiTrace.cpp104 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 DjvmtiTrace.cpp103 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 DjvmtiTrace.cpp103 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 Dsource_list.py60 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 Dbb.c52 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 Dversioning.py50 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 Dffe.c680 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 Dvec.c843 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 Dfield.c70 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 Dcalc2_ast_vm.hpp112 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 Dcalc2_ast_vm.hpp112 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 Dcalc2_ast_vm.hpp112 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 Dcalc2_ast_vm.hpp112 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 Dcalc2_ast_vm.hpp112 op_pos, // essentially a no-op (unary plus) enumerator
187 boost::phoenix::function<unary_expr<op_pos> > pos;

123456