Searched refs:THA_QUOTIENT_NON_ZERO (Results 1 – 3 of 3) sorted by relevance
393 THA_QUOTIENT_NON_ZERO, enumerator
773 case InferenceRule::THA_QUOTIENT_NON_ZERO: in ruleName()
616 addTheoryClauseFromLits({guardx,oQxnot0}, InferenceRule::THA_QUOTIENT_NON_ZERO, EXPENSIVE); in addQuotientAxioms()