| 378 | } |
| 379 | |
| 380 | uint64_t AgentSML::GetRunCounter(smlRunStepSize runStepSize) |
| 381 | { |
| 382 | switch (runStepSize) |
| 383 | { |
| 384 | case sml_PHASE: |
| 385 | return GetNumPhasesExecuted() ; |
| 386 | case sml_ELABORATION: |
| 387 | return GetNumElaborationsExecuted() ; |
| 388 | case sml_DECISION: |
| 389 | return GetNumDecisionCyclesExecuted() ; |
| 390 | case sml_UNTIL_OUTPUT: |
| 391 | return GetNumOutputsGenerated() ; |
| 392 | default: |
| 393 | return 0; |
| 394 | } |
| 395 | } |
| 396 | |
| 397 | //============================= |
| 398 | // Request that the agent stop soon. |
no outgoing calls
no test coverage detected