Searched refs:RHSid (Results 1 – 1 of 1) sorted by relevance
758 MCDCConditionID RHSid = NextID++; in pushAndAssignIDs() local759 setCondID(E->getRHS(), RHSid); in pushAndAssignIDs()763 DecisionStack.push_back({RHSid, ParentDecision.FalseID}); in pushAndAssignIDs()765 DecisionStack.push_back({ParentDecision.TrueID, RHSid}); in pushAndAssignIDs()