C# 클래스 PHPAnalysis.CFGCTLPreparation

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

공개 메소드들

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

메소드 상세

AddSelfLoops() 공개 메소드

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