Project

General

Profile

Actions
Copy link

Feature #10125

closed

'--detailed' option for efsm-graphml-printer engine

Added by Sergey Smolov about 4 years ago. Updated 12 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Printer)
Target version:
1.1
Start date:
02/19/2020
Due date:
% Done:

100%

Estimated time:
Published in build:
1.1.3-beta-230504

Description

A new option for efsm-graphml-printer engine is needed (note, that the engine prints EFSM model in a GraphML format).

If this option is enabled, the tool prints EFSM model in the same way it does it now (states, guards and transitions are printed).

If this option is not enabled, the tool prints EFSM model in a limited way (states are printed, but transitions are printed as non-labeled edges, guards\transitions aren't printed).

Actions
Copy link
 #1

Updated by Sergey Smolov about 4 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100
Actions
Copy link
 #2

Updated by Sergey Smolov 12 months ago

  • Status changed from Resolved to Closed
  • Published in build set to 1.1.3-beta-230504
Actions
Copy link

Also available in: Atom PDF