private boolean belongsToSCC() { return cc!=null || isSource() || isSink(); }
private boolean belongsToSCC() { return cc!=null || isSource() || isSink(); }
private boolean belongsToSCC() { return cc!=null || isSource() || isSink(); }
private boolean belongsToSCC() { return cc!=null || isSource() || isSink(); }
private boolean belongsToSCC() { return cc!=null || isSource() || isSink(); }
assert belongsToSCC(); // SCC discomposition must be done first if(isSink())
assert belongsToSCC(); // SCC discomposition must be done first if(isSink())
assert belongsToSCC(); // SCC discomposition must be done first if(isSink())
assert belongsToSCC(); // SCC discomposition must be done first if(isSink())
assert belongsToSCC(); // SCC discomposition must be done first if(isSink())