Lines Matching full:satisfies
2445 /// CommitValueTo - We have decided that Addr (which satisfies the predicate
