C# Класс PHPAnalysis.Analysis.CTLLTL.CTLLTL

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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