- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 65 for unsat (0.12 sec)
-
src/cmd/compile/internal/ssa/prove.go
// efficient. type factsTable struct { // unsat is true if facts contains a contradiction. // // Note that the factsTable logic is incomplete, so if unsat // is false, the assertions in factsTable could be satisfiable // *or* unsatisfiable. unsat bool // true if facts contains a contradiction unsatDepth int // number of unsat checkpoints facts map[pair]relation // current known set of relation
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Mar 04 17:30:21 UTC 2024 - 48.9K bytes - Viewed (0) -
staging/src/k8s.io/apiserver/pkg/storage/cacher/cacher_whitebox_test.go
// | ResourceVersion | AllowWatchBookmarks | SendInitialEvents | // +=================+=====================+=======================+ // | Unset | true/false | nil/true/false | // +-----------------+---------------------+-----------------------+ { name: "RV=unset, allowWatchBookmarks=true, sendInitialEvents=nil", opts: listOptions(true, nil, ""),
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Wed Jun 12 10:12:02 UTC 2024 - 82.9K bytes - Viewed (0) -
platforms/core-configuration/model-core/src/test/groovy/org/gradle/api/internal/provider/CollectionPropertySpec.groovy
null | null | [] | "add to unset value w/ empty convention" | { it.add("1") } ["1"] | null | [] | "append to unset value w/ empty convention" | { it.append("1") }
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Fri May 17 11:41:55 UTC 2024 - 49.7K bytes - Viewed (0) -
okhttp/src/main/kotlin/okhttp3/OkHttpClient.kt
* [proxyAuthenticator] to set the authenticator for proxy servers. * * If unset, the [no authentication will be attempted][Authenticator.NONE]. */ fun authenticator(authenticator: Authenticator) = apply { this.authenticator = authenticator } /** Configure this client to follow redirects. If unset, redirects will be followed. */ fun followRedirects(followRedirects: Boolean) =
Registered: Sun Jun 16 04:42:17 UTC 2024 - Last Modified: Sat Apr 06 04:21:33 UTC 2024 - 52K bytes - Viewed (0) -
pkg/apis/admissionregistration/types.go
// line breaks. The message must not contain line breaks. // If unset, the message is "failed rule: {Rule}". // e.g. "must be a URL with the host matching spec.host" // If ExpressMessage is specified, Message will be ignored // If the Expression contains line breaks. Eith Message or ExpressMessage is required. // The message must not contain line breaks. // If unset, the message is "failed Expression: {Expression}". // +optional
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Thu Feb 29 20:14:19 UTC 2024 - 52.6K bytes - Viewed (0) -
staging/src/k8s.io/api/admissionregistration/v1/generated.proto
// // - If `paramKind` is cluster-scoped, this field MUST be unset. Setting this // field results in a configuration error. // // - If `paramKind` is namespace-scoped, the namespace of the object being // evaluated for admission will be used when this field is left unset. Take // care that if this is left empty the binding must not match any cluster-scoped
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Thu May 23 17:42:49 UTC 2024 - 51.8K bytes - Viewed (0) -
staging/src/k8s.io/api/admissionregistration/v1beta1/generated.proto
// // - If `paramKind` is cluster-scoped, this field MUST be unset. Setting this // field results in a configuration error. // // - If `paramKind` is namespace-scoped, the namespace of the object being // evaluated for admission will be used when this field is left unset. Take // care that if this is left empty the binding must not match any cluster-scoped
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Thu Mar 28 15:34:11 UTC 2024 - 50.4K bytes - Viewed (0) -
platforms/core-configuration/file-collections/src/test/groovy/org/gradle/api/internal/file/collections/DefaultConfigurableFileCollectionSpec.groovy
collection.from as List == ["src1", "src3", "src4"] } def "can unset convention"() { given: collection.convention("src0") assert !collection.explicit expect: collection.setFrom("src1") assert collection.explicit when: collection.unset() then: assert !collection.explicit
Registered: Wed Jun 12 18:38:38 UTC 2024 - Last Modified: Mon Mar 18 17:09:50 UTC 2024 - 53K bytes - Viewed (0) -
staging/src/k8s.io/api/admissionregistration/v1beta1/types.go
// line breaks. The message must not contain line breaks. // If unset, the message is "failed rule: {Rule}". // e.g. "must be a URL with the host matching spec.host" // If the Expression contains line breaks. Message is required. // The message must not contain line breaks. // If unset, the message is "failed Expression: {Expression}". // +optional
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Thu Feb 29 20:14:19 UTC 2024 - 60.6K bytes - Viewed (0) -
staging/src/k8s.io/api/admissionregistration/v1/types.go
// line breaks. The message must not contain line breaks. // If unset, the message is "failed rule: {Rule}". // e.g. "must be a URL with the host matching spec.host" // If the Expression contains line breaks. Message is required. // The message must not contain line breaks. // If unset, the message is "failed Expression: {Expression}". // +optional
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Thu May 23 17:42:49 UTC 2024 - 61.6K bytes - Viewed (0)