C# 클래스 PHPAnalysis.Analysis.CFG.CFGPruner

상속: ICFGPruner
파일 보기 프로젝트 열기: jtvn/Eir-CTLLTL 1 사용 예제들

공개 메소드들

메소드 설명
Prune ( EdgeTag>.BidirectionalGraph graph ) : void

비공개 메소드들

메소드 설명
RemoveEmptyBlocks ( ) : void
RemoveUnreachableBlocks ( ) : void

메소드 상세

Prune() 공개 메소드

public Prune ( EdgeTag>.BidirectionalGraph graph ) : void
graph EdgeTag>.BidirectionalGraph
리턴 void