C# Class PHPAnalysis.Analysis.CFG.CFGPruner

Inheritance: ICFGPruner
Show file Open project: jtvn/Eir-CTLLTL Class Usage Examples

Public Methods

Method Description
Prune ( EdgeTag>.BidirectionalGraph graph ) : void

Private Methods

Method Description
RemoveEmptyBlocks ( ) : void
RemoveUnreachableBlocks ( ) : void

Method Details

Prune() public method

public Prune ( EdgeTag>.BidirectionalGraph graph ) : void
graph EdgeTag>.BidirectionalGraph
return void