C# Class PHPAnalysis.Analysis.CFG.CFGPruner

Inheritance: ICFGPruner
Afficher le fichier Open project: jtvn/Eir-CTLLTL Class Usage Examples

Méthodes publiques

Méthode Description
Prune ( EdgeTag>.BidirectionalGraph graph ) : void

Private Methods

Méthode Description
RemoveEmptyBlocks ( ) : void
RemoveUnreachableBlocks ( ) : void

Method Details

Prune() public méthode

public Prune ( EdgeTag>.BidirectionalGraph graph ) : void
graph EdgeTag>.BidirectionalGraph
Résultat void