- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 86 for forall (0.14 sec)
-
src/cmd/vendor/rsc.io/markdown/entity.go
"𝔉": "\U0001d509", "◼": "\u25fc", "▪": "\u25aa", "𝔽": "\U0001d53d", "∀": "\u2200", "ℱ": "\u2131", "ℱ": "\u2131", "Ѓ": "\u0403",
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Jan 24 13:01:26 UTC 2024 - 101K bytes - Viewed (0) -
tensorflow/compiler/jit/deadness_analysis.cc
}; // Represents an uninterpreted symbol in a logical predicate. // // Two predicates are equivalent iff they are equivalent for all assignments to // the symbols contained in them, i.e. predicates are forall qualified over // symbols. class SymbolPredicate : public Predicate { public: explicit SymbolPredicate(int64_t id, TensorId tensor_id, bool must_be_true) : Predicate(id),
Registered: Sun Jun 16 05:45:23 UTC 2024 - Last Modified: Tue Mar 12 06:33:33 UTC 2024 - 60.4K bytes - Viewed (0) -
src/mdo/reader-stax.vm
entities.put("lArr", "\u21d0"); entities.put("uArr", "\u21d1"); entities.put("rArr", "\u21d2"); entities.put("dArr", "\u21d3"); entities.put("hArr", "\u21d4"); entities.put("forall", "\u2200"); entities.put("part", "\u2202"); entities.put("exist", "\u2203"); entities.put("empty", "\u2205"); entities.put("nabla", "\u2207"); entities.put("isin", "\u2208");
Registered: Wed Jun 12 09:55:16 UTC 2024 - Last Modified: Mon Mar 25 10:50:01 UTC 2024 - 38.1K bytes - Viewed (0) -
src/encoding/xml/xml.go
"darr": "\u2193", "harr": "\u2194", "crarr": "\u21B5", "lArr": "\u21D0", "uArr": "\u21D1", "rArr": "\u21D2", "dArr": "\u21D3", "hArr": "\u21D4", "forall": "\u2200", "part": "\u2202", "exist": "\u2203", "empty": "\u2205", "nabla": "\u2207", "isin": "\u2208", "notin": "\u2209", "ni": "\u220B", "prod": "\u220F",
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri Mar 08 18:46:41 UTC 2024 - 47.3K bytes - Viewed (0) -
platforms/jvm/jacoco/src/main/java/org/gradle/internal/jacoco/AbstractAntJacocoReport.java
@SuppressWarnings("UnusedDeclaration") public Object doCall(Object ignore) { antBuilder.invokeMethod("executiondata", new Object[]{emptyArgs, new Closure<Object>(this, this) { public Object doCall(Object ignore) { executionData.addToAntBuilder(antBuilder, "resources"); return null;
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Mon Mar 25 23:19:29 UTC 2024 - 4.1K bytes - Viewed (0) -
src/cmd/vendor/golang.org/x/sys/unix/asm_zos_s390x.s
// arg 1 ---> R1 CMP R8, $0 BEQ docall SUB $1, R8 MOVD 0(R7), R1 // arg 2 ---> R2 CMP R8, $0 BEQ docall SUB $1, R8 ADD $8, R7 MOVD 0(R7), R2 // arg 3 --> R3 CMP R8, $0 BEQ docall SUB $1, R8 ADD $8, R7 MOVD 0(R7), R3 CMP R8, $0 BEQ docall MOVD $2176+16, R6 // starting LE stack address-8 to store 4th argument
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed May 08 16:12:58 UTC 2024 - 11.2K bytes - Viewed (0) -
subprojects/core/src/main/java/org/gradle/internal/classpath/CallInterceptionClosureInstrumentingClassVisitor.java
* Renames the Closure's original `doCall` method and adds a wrapper method that invokes the original one. */ RENAME_ORIGINAL_DO_CALL("doCall", null, false, (clazz, methodData) -> { // A Closure implementation may have an abstract doCall method. It makes no sense to rewrite that. boolean isValidDoCallMethod = !methodData.isAbstract() && methodData.name.equals("doCall");
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Wed Mar 20 01:16:36 UTC 2024 - 16.9K bytes - Viewed (0) -
analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirExpressionTypeProvider.kt
val firCall = ktCallElement.getOrBuildFir(firResolveSession)?.unwrapSafeCall() as? FirCall ?: return null val callee = (firCall.toReference(firResolveSession.useSiteFirSession) as? FirResolvedNamedReference)?.resolvedSymbol if (callee?.fir?.origin == FirDeclarationOrigin.SamConstructor) { val substitutor = (firCall as? FirQualifiedAccessExpression)
Registered: Wed Jun 12 09:53:16 UTC 2024 - Last Modified: Tue Jun 11 15:45:42 UTC 2024 - 24.4K bytes - Viewed (0) -
subprojects/core/src/integTest/groovy/org/gradle/internal/classpath/ClosureInstrumentationIntegrationTest.groovy
} @Override public abstract void setDelegate(Object delegate); public abstract String doCall(String argument); } """ file("ReverseClosure.java") << """ public class ReverseClosure extends MyBaseClosure {
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Wed Mar 20 01:16:36 UTC 2024 - 2.7K bytes - Viewed (0) -
platforms/jvm/jacoco/src/main/java/org/gradle/internal/jacoco/AntJacocoCheck.java
antBuilder.invokeMethod("check", new Object[] {checkArgs, new Closure<Object>(this, this) { @SuppressWarnings("UnusedDeclaration") public Object doCall(Object ignore) { for (final JacocoViolationRule rule : filter(violationRules.getRules(), RULE_ENABLED_PREDICATE)) {
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Mon Mar 25 23:19:29 UTC 2024 - 5.5K bytes - Viewed (0)