Searched refs:RHSis1 (Results 1 – 1 of 1) sorted by relevance
78 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enumerator242 UpdateAssumption(A, RHSis1); in checkPreStmt()390 case RHSis1: in checkEndAnalysis()