- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for OrderedOrEqual (0.1 sec)
-
src/cmd/compile/internal/ssa/prove.go
if isCleanExt(v) && ft.isNonNegative(v.Args[0]) { return true } // Check if the signed poset can prove that the value is >= 0 return ft.orderS.OrderedOrEqual(ft.zero, v) } // checkpoint saves the current state of known relations. // Called when descending on a branch. func (ft *factsTable) checkpoint() { if ft.unsat { ft.unsatDepth++ }
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Mar 04 17:30:21 UTC 2024 - 48.9K bytes - Viewed (0)