Searched refs:Asserted (Results 1 – 1 of 1) sorted by relevance
109 Asserted, ///< The fact has been asserted to be held. enumerator133 bool asserted() const { return Source == Asserted; } in asserted()1804 AssertLock, LK_Exclusive, Loc, FactEntry::Asserted)); in handleCall()1815 AssertLock, LK_Shared, Loc, FactEntry::Asserted)); in handleCall()1827 Loc, FactEntry::Asserted)); in handleCall()