Searched refs:optimisticValue (Results 1 – 1 of 1) sorted by relevance
92 return *optimisticValue; in getValue()109 bool isAtFixpoint() const override { return optimisticValue == knownValue; } in isAtFixpoint()130 optimisticValue = rhs; in join()135 ValueT newValue = ValueT::join(*optimisticValue, rhs); in join()136 assert(ValueT::join(newValue, *optimisticValue) == newValue && in join()142 if (newValue == optimisticValue) in join()145 optimisticValue = newValue; in join()158 optimisticValue = knownValue; in markPessimisticFixpoint()167 if (optimisticValue) in print()168 optimisticValue->print(os); in print()[all …]