Class SuccessorType::SuccessorType

The type of a control flow successor.

Direct supertypes

Known direct subtypes

Predicates

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.