Searched refs:backtrack_index (Results 1 – 8 of 8) sorted by relevance
| /dports/math/polymake/polymake-4.5/apps/matroid/src/ |
| H A D | representation.cc | 162 Int backtrack_index = 0;
166 while (backtrack_index >= 0) {
170 if (backtrack_index > 0)
171 have_increased = increase_ternary_row( tpoints, remaining_elements[ backtrack_index ]);
174 --backtrack_index;
181 if (bases_for_finite_field(tpoints,restricted_ground_sets[backtrack_index], 3)
182 == restriction_bases[ backtrack_index ]) {
183 ++backtrack_index;
184 if (backtrack_index == remaining_elements.size()) {
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | Solver.cc | 1767 int backtrack_index = trail.size(); in updateLemmas() local
1823 …emma.size() == 1 || (value(lemma[1]) == l_False && trail_index(var(lemma[1])) < backtrack_index)) { in updateLemmas()
|
| /dports/devel/djgpp-binutils/binutils-2.17/gas/config/ |
| H A D | tc-arm.c | 3845 int i, val, backtrack_index = 0; in parse_operands() local
3893 backtrack_index = i; in parse_operands()
4154 if (backtrack_index == i && backtrack_pos != str in parse_operands()
4165 inst.operands[backtrack_index].present = 0; in parse_operands()
4166 i = backtrack_index; in parse_operands()
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/config/ |
| H A D | tc-arm.c | 6590 int i, val = 0, backtrack_index = 0; in parse_operands() local
6713 backtrack_index = i; in parse_operands()
7236 if (backtrack_index == i && backtrack_pos != str in parse_operands()
7247 inst.operands[backtrack_index].present = 0; in parse_operands()
7248 i = backtrack_index; in parse_operands()
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/config/ |
| H A D | tc-arm.c | 6590 int i, val = 0, backtrack_index = 0; in parse_operands() local
6713 backtrack_index = i; in parse_operands()
7236 if (backtrack_index == i && backtrack_pos != str in parse_operands()
7247 inst.operands[backtrack_index].present = 0; in parse_operands()
7248 i = backtrack_index; in parse_operands()
|
| /dports/devel/binutils/binutils-2.37/gas/config/ |
| H A D | tc-arm.c | 7265 int i, val = 0, backtrack_index = 0; in parse_operands() local
7410 backtrack_index = i; in parse_operands()
8175 if (backtrack_index == i && backtrack_pos != str in parse_operands()
8186 inst.operands[backtrack_index].present = 0; in parse_operands()
8187 i = backtrack_index; in parse_operands()
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/config/ |
| H A D | tc-arm.c | 7265 int i, val = 0, backtrack_index = 0; in parse_operands() local
7410 backtrack_index = i; in parse_operands()
8175 if (backtrack_index == i && backtrack_pos != str in parse_operands()
8186 inst.operands[backtrack_index].present = 0; in parse_operands()
8187 i = backtrack_index; in parse_operands()
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/config/ |
| H A D | tc-arm.c | 7265 int i, val = 0, backtrack_index = 0; in parse_operands() local
7410 backtrack_index = i; in parse_operands()
8175 if (backtrack_index == i && backtrack_pos != str in parse_operands()
8186 inst.operands[backtrack_index].present = 0; in parse_operands()
8187 i = backtrack_index; in parse_operands()
|