H A D | IdempotentOperationChecker.cpp | 80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enumerator in enum:__anon16434::IdempotentOperationChecker::Assumption 101 BinaryOperatorData() : assumption(Possible) {} 118 // 'Possible'. At this stage we do not store the ExplodedNode, as it has not 138 if (A == Possible) { 412 case Possible: 450 case Possible:
|