Home | History | Annotate | Download | only in Checkers

Lines Matching full:assumption

2430                                  bool Assumption) const;
3271 Assumption) const {