C# Class PHPAnalysis.CTLLTLNode

Datei anzeigen Open project: jtvn/Eir-CTLLTL

Public Properties

Property	Type	Description
filterName	string
graph	BidirectionalGraph>
methodName	string

Property Details

filterName public_oe property

public string filterName
return	string

graph public_oe property

public BidirectionalGraph> graph
return	BidirectionalGraph>

methodName public_oe property

public string methodName
return	string