Class SuccessorType::SuccessorTypes::BooleanSuccessor

A Boolean control flow successor.

For example, this program fragment:

if (x < 0)
    return 0;
else
    return 1;

has a control flow graph containing Boolean successors:

       if
       |
     x < 0
      / \
     /   \
    /     \
 true    false
   |        \
return 0   return 1

Direct supertypes

getValue	Gets the Boolean value of this successor.
matchesCompletion	Holds if this successor type matches completion `c`.
toString	Gets a textual representation of successor type.