| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | bva.cpp | 128 if (m_cls.size() <= 1) in remove_duplicates_from_m_cls()
176 *simplifier->limit_to_decrease -= 2*(int64_t)m_cls.size()*(int64_t)std::sqrt(m_cls.size()); in remove_duplicates_from_m_cls()
177 std::sort(m_cls.begin(), m_cls.end(), mysort); in remove_duplicates_from_m_cls()
180 for(; i+1 < m_cls.size(); i++) { in remove_duplicates_from_m_cls()
184 m_cls[j+1] = m_cls[i+1]; in remove_duplicates_from_m_cls()
224 m_cls[j+1] = m_cls[i+1]; in remove_duplicates_from_m_cls()
231 m_cls.resize(m_cls.size()-(i-j)); in remove_duplicates_from_m_cls()
246 m_cls.clear(); in try_bva_on_lit()
273 m_cls.clear(); in try_bva_on_lit()
318 for(OccurClause cl: m_cls) { in bva_simplify_system()
[all …]
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | bva.cpp | 128 if (m_cls.size() <= 1) in remove_duplicates_from_m_cls()
176 *simplifier->limit_to_decrease -= 2*(int64_t)m_cls.size()*(int64_t)std::sqrt(m_cls.size()); in remove_duplicates_from_m_cls()
177 std::sort(m_cls.begin(), m_cls.end(), mysort); in remove_duplicates_from_m_cls()
180 for(; i+1 < m_cls.size(); i++) { in remove_duplicates_from_m_cls()
184 m_cls[j+1] = m_cls[i+1]; in remove_duplicates_from_m_cls()
224 m_cls[j+1] = m_cls[i+1]; in remove_duplicates_from_m_cls()
231 m_cls.resize(m_cls.size()-(i-j)); in remove_duplicates_from_m_cls()
246 m_cls.clear(); in try_bva_on_lit()
273 m_cls.clear(); in try_bva_on_lit()
318 for(OccurClause cl: m_cls) { in bva_simplify_system()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
100 &watch.m_cls, &generic); in FieldAccess()
128 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
139 if (watch.m_cls == NULL || in FieldAccess()
140 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
142 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
100 &watch.m_cls, &generic); in FieldAccess()
128 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
139 if (watch.m_cls == NULL || in FieldAccess()
140 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
142 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
100 &watch.m_cls, &generic); in FieldAccess()
128 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
139 if (watch.m_cls == NULL || in FieldAccess()
140 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
142 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
101 &watch.m_cls, &generic); in FieldAccess()
133 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
144 if (watch.m_cls == NULL || in FieldAccess()
145 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
147 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
101 &watch.m_cls, &generic); in FieldAccess()
133 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
144 if (watch.m_cls == NULL || in FieldAccess()
145 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
147 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.cpp | 39 char *m_cls; member
51 const char *m_cls; member
100 &watch.m_cls, &generic); in FieldAccess()
128 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
139 if (watch.m_cls == NULL || in FieldAccess()
140 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
142 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
135 &watch.m_cls, &generic); in FieldAccess()
163 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
174 if (watch.m_cls == NULL || in FieldAccess()
175 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
177 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
114 &watch.m_cls, &generic); in FieldAccess()
142 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
153 if (watch.m_cls == NULL || in FieldAccess()
154 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
156 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
114 &watch.m_cls, &generic); in FieldAccess()
142 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
153 if (watch.m_cls == NULL || in FieldAccess()
154 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
156 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
135 &watch.m_cls, &generic); in FieldAccess()
163 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
174 if (watch.m_cls == NULL || in FieldAccess()
175 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
177 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
114 &watch.m_cls, &generic); in FieldAccess()
142 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
153 if (watch.m_cls == NULL || in FieldAccess()
154 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
156 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
135 &watch.m_cls, &generic); in FieldAccess()
163 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
174 if (watch.m_cls == NULL || in FieldAccess()
175 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
177 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
115 &watch.m_cls, &generic); in FieldAccess()
147 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
158 if (watch.m_cls == NULL || in FieldAccess()
159 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
161 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
136 &watch.m_cls, &generic); in FieldAccess()
168 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
179 if (watch.m_cls == NULL || in FieldAccess()
180 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
182 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
136 &watch.m_cls, &generic); in FieldAccess()
168 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
179 if (watch.m_cls == NULL || in FieldAccess()
180 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
182 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
115 &watch.m_cls, &generic); in FieldAccess()
147 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
158 if (watch.m_cls == NULL || in FieldAccess()
159 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
161 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.cpp | 39 char *m_cls; member
51 const char *m_cls; member
114 &watch.m_cls, &generic); in FieldAccess()
142 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
153 if (watch.m_cls == NULL || in FieldAccess()
154 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
156 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.cpp | 39 char *m_cls; member
51 const char *m_cls; member
135 &watch.m_cls, &generic); in FieldAccess()
163 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
174 if (watch.m_cls == NULL || in FieldAccess()
175 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
177 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.c | 52 char *m_cls; member
136 &watch.m_cls, &generic); in FieldAccess()
164 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
175 if (watch.m_cls == NULL || in FieldAccess()
176 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
178 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.c | 52 char *m_cls; member
115 &watch.m_cls, &generic); in FieldAccess()
143 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
154 if (watch.m_cls == NULL || in FieldAccess()
155 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
157 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc004/ |
| H A D | fieldacc004.c | 52 char *m_cls; member
101 &watch.m_cls, &generic); in FieldAccess()
129 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
140 if (watch.m_cls == NULL || in FieldAccess()
141 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
143 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc003/ |
| H A D | fieldacc003.c | 52 char *m_cls; member
115 &watch.m_cls, &generic); in FieldAccess()
143 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
154 if (watch.m_cls == NULL || in FieldAccess()
155 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
157 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/nsk/jvmti/FieldAccess/fieldacc001/ |
| H A D | fieldacc001.c | 52 char *m_cls; member
136 &watch.m_cls, &generic); in FieldAccess()
164 printf(">>> class: \"%s\"\n", watch.m_cls); in FieldAccess()
175 if (watch.m_cls == NULL || in FieldAccess()
176 strcmp(watch.m_cls, watches[i].m_cls) != 0) { in FieldAccess()
178 i, watch.m_cls, watches[i].m_cls); in FieldAccess()
|