reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1085 bool isValidState() const override { return Assumed != getWorstState(); } 1088 bool isAtFixpoint() const override { return Assumed == Known; } 1092 Known = Assumed; 1098 Assumed = Known; 1106 base_t getAssumed() const { return Assumed; } 1167 return (Assumed & BitsEncoding) == BitsEncoding; 1173 Assumed |= Bits; 1192 Assumed = (Assumed & BitsEncoding) | Known; 1192 Assumed = (Assumed & BitsEncoding) | Known; 1203 Assumed |= AssumedValue; 1207 Assumed &= AssumedValue; 1219 Assumed = std::max(std::min(Assumed, Value), Known); 1219 Assumed = std::max(std::min(Assumed, Value), Known); 1226 Assumed = std::max(Value, Assumed); 1226 Assumed = std::max(Value, Assumed); 1238 Assumed = std::max(Assumed, AssumedValue); 1238 Assumed = std::max(Assumed, AssumedValue); 1242 Assumed = std::min(Assumed, AssumedValue); 1242 Assumed = std::min(Assumed, AssumedValue); 1287 void setAssumed(bool Value) { Assumed &= (Known | Value); } 1292 Assumed |= Value; 1304 Assumed = Known; 1308 Known = (Assumed = Value); 1312 Assumed |= AssumedValue; 1316 Assumed &= AssumedValue;