C# 클래스 PHPAnalysis.Analysis.CTLLTL.CTLLTL

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

공개 메소드들

메소드	설명
CTLLTL ( ) : System
makeModel ( EdgeTag>.BidirectionalGraph graph, IncludeResolver resolver, string path ) : void

비공개 메소드들

메소드	설명
BFS ( CFGBlock root, EdgeTag>.BidirectionalGraph _graph ) : void
GenSpec ( System file ) : void
GenerateIf ( ) : void
GetBlockName ( CTLLTLNode block ) : void
MakeCNode ( CFGBlock block ) : CTLLTLNode
WriteSpecialStuff ( System file ) : void
WriteToFile ( string path ) : void

메소드 상세

CTLLTL() 공개 메소드

public CTLLTL ( ) : System
리턴	System

makeModel() 공개 메소드

public makeModel ( EdgeTag>.BidirectionalGraph graph, IncludeResolver resolver, string path ) : void
graph	EdgeTag>.BidirectionalGraph
resolver	PHPAnalysis.Analysis.AST.IncludeResolver
path	string
리턴	void