| Class | Description |
|---|---|
| CheckKRGFlowPreservation |
To check the flow preservation of a KRG graph.
|
| CheckKRGLivenessAlgorithm |
To check the liveness of a KRG graph.
|
| CheckKRGMaximumBufferSizeAlgorithm |
To check the maximum place usage during a period of execution of a KRG.
|
| ComputeInitializationFireableStrategy |
This algorithm simulates a KRG until every routing vertex has terminated its initialization sequence.
|