Searched defs:Possible (Results 1 – 2 of 2) sorted by relevance
245 Possible =1, // Possibly reachable from root-set; involves at enumerator
79 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enumerator