C# Class PHPAnalysis.CFGCTLPreparation

Inheritance: ICFGCTLPreparation
Show file Open project: jtvn/Eir-CTLLTL Class Usage Examples

Public Methods

Method Description
AddSelfLoops ( EdgeTag>.BidirectionalGraph graph ) : void

Method Details

AddSelfLoops() public method

public AddSelfLoops ( EdgeTag>.BidirectionalGraph graph ) : void
graph EdgeTag>.BidirectionalGraph
return void