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
Import path
import csharp