- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 139 for forall (0.23 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/mdo/reader.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: Fri Dec 15 06:33:11 UTC 2023 - 42.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) -
pkg/test/framework/components/echo/config/builder.go
})) } } return out } // BuildAll builds the config for all sources. func (b *Builder) BuildAll(fromAll echo.Callers, toAll echo.Services) *Builder { b.t.Helper() return b.BuildCompleteSources(). BuildFrom(fromAll...). BuildFromAndTo(fromAll, toAll) } func (b *Builder) Apply(opts ...apply.Option) { if b.yamlCount == 0 { // Nothing to do. return }
Registered: Fri Jun 14 15:00:06 UTC 2024 - Last Modified: Thu Oct 13 23:42:29 UTC 2022 - 7.6K bytes - Viewed (0) -
src/cmd/asm/internal/lex/input.go
} in.macros[name] = &Macro{ name: name, args: args, tokens: tokens, } } // macroDefinition returns the list of formals and the tokens of the definition. // The argument list is nil for no parens on the definition; otherwise a list of // formal argument names. func (in *Input) macroDefinition(name string) ([]string, []Token) { prevCol := in.Stack.Col() tok := in.Stack.Next()
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Aug 29 07:48:38 UTC 2023 - 12.6K bytes - Viewed (0) -
src/syscall/fs_js.go
return 0, errors.New("syscall.Open: O_SYNC is not supported by js/wasm") } jsFD, err := fsCall("open", path, flags, perm) if err != nil { return 0, err } fd := jsFD.Int() var entries []string if stat, err := fsCall("fstat", fd); err == nil && stat.Call("isDirectory").Bool() { dir, err := fsCall("readdir", path) if err != nil { return 0, err } entries = make([]string, dir.Length())
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu May 11 18:19:17 UTC 2023 - 10.8K 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) -
maven-model-builder/src/main/java/org/apache/maven/model/interpolation/reflection/MethodMap.java
* * @param formal the formal parameter type to which the actual * parameter type should be convertible * @param actual the actual parameter type. * @return true if either formal type is assignable from actual type, * or formal and actual are both primitive types and actual can be * subject to widening conversion to formal. */
Registered: Wed Jun 12 09:55:16 UTC 2024 - Last Modified: Tue Oct 17 17:55:08 UTC 2023 - 14.1K bytes - Viewed (0)