Member predicate AbstractValues::IndefiniteAbstractValue::split

Gets an abstract value representing a subset of the concrete values represented by this abstract value.

Taken together, all results of this predicate taken together must cover the entire set of concrete values represented by this abstract value.

AbstractValue split()