Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 139 for forall (0.23 sec)

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
Back to top