Searched defs:assertions_iterator (Results 1 – 2 of 2) sorted by relevance
201 typedef ExprSet::const_iterator assertions_iterator; typedef
700 typedef context::CDList<Assertion>::const_iterator assertions_iterator; typedef