Member predicate AbstractValues::MatchValue::isSingleton
Holds if this is a singleton abstract value. That is, two expressions that have this abstract value also have the same concrete value.
predicate isSingleton()
Holds if this is a singleton abstract value. That is, two expressions that have this abstract value also have the same concrete value.
predicate isSingleton()