Searched refs:Asserted (Results 1 – 3 of 3) sorted by relevance
112 Asserted, ///< The fact has been asserted to be held. enumerator136 bool asserted() const { return Source == Asserted; } in asserted()1859 FactEntry::Asserted), in handleCall()1872 FactEntry::Asserted), in handleCall()1886 FactEntry::Asserted), in handleCall()
997 clr TT3 ;; Asserted by .Lmul.help.2