- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for contradiction (0.1 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) -
tensorflow/compiler/jit/mark_for_compilation_pass.cc
// c. There is no path from B to A in the cycles graph (but there may // be a path from A to B). // // So check the legality of the edge contraction by checking if any of // the n^2 pairs of resource variable operations are forbidden. if (unsafe_resource_deps_.contains( {resource_var_from, resource_var_to})) {
Registered: Sun Jun 16 05:45:23 UTC 2024 - Last Modified: Wed Feb 21 12:19:41 UTC 2024 - 85.3K bytes - Viewed (0)