marcosh/crem
1
1
Fork 0
mirror of https://github.com/marcosh/crem.git synced 2024-08-16 16:00:37 +03:00
Code Issues Packages Projects Releases Wiki Activity

resize doc image

Browse Source
This commit is contained in:
Marco Perone 2023-03-14 16:49:48 +01:00
parent 91fa27645a
commit 3ee908de38
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/how-to-render-a-machine.md
View File

@ -12,7 +12,7 @@ The only supported output format for the moment is [Mermaid](https://mermaid.js.
For example, this is the graph produced for the [`LockDoor`](/src/Crem/Example/LockDoor.hs) machine
![lock door machine](https://mermaid.ink/svg/pako:eNptkEFPhDAQhf8KeWcggN2F9uBFPZhoPHgzvTR0VLJLS0oxroT_bhdEd-MeJpmX-eZl5o2orSYI9F55um3Um1Nt8lFIc98_2Hr31JFZ-5u97Umv6lh_6shFSXIdXUIXdTL-73oyPDde1AVrxGjJtarR4fpRmiiS8O_UkoQIrVZuJyHNFLih0-G5O9146yBe1b6nGGrw9vlgagjvBlqhnwR-qU6ZF2vPNMSITwiWbdJtVfEtq9hVuYlxgCjyMmWc84qVLC_yjLMpxte8n6UBofmExyXxOfjpGxvJf_Y)
<img alt="lock door machine" src="https://mermaid.ink/svg/pako:eNptkEFPhDAQhf8KeWcggN2F9uBFPZhoPHgzvTR0VLJLS0oxroT_bhdEd-MeJpmX-eZl5o2orSYI9F55um3Um1Nt8lFIc98_2Hr31JFZ-5u97Umv6lh_6shFSXIdXUIXdTL-73oyPDde1AVrxGjJtarR4fpRmiiS8O_UkoQIrVZuJyHNFLih0-G5O9146yBe1b6nGGrw9vlgagjvBlqhnwR-qU6ZF2vPNMSITwiWbdJtVfEtq9hVuYlxgCjyMmWc84qVLC_yjLMpxte8n6UBofmExyXxOfjpGxvJf_Y" height=150px style="display: block; margin: auto;">
## Flow rendering
@ -26,4 +26,4 @@ Then it will produce a diagram like
![risk manager flow](https://mermaid.ink/svg/pako:eNqlVF1PwjAU_SvkPmkyCGCBbQ8mCvqkxkj0wSwhzXad1a4lXUdAsv9u9-HcCMgMfepOz73n3PbubsGXAYILsaYaZ4yGikbd1dATHbNysEPDUGGY7bYFnK0KXDzIGdX0BZXG9b7zqeQcfY3Bc4yqJfVOUjFDTRmPb5mK9eGQJ_SRrTCYKgyYvk4U0iQTORJWKV1x_renenmdbvfyxMqa1EMJ29ffLvGpt7TfzyH3R--0hZ1_5E7rzbqUnPmbeqcWyOLsvMH-bepMqOAUJ2WGhn5DQckPY4VJ0VCp0MWciZDjYwXs8bqjXlHrOpEvhU91XaSEdmupOcrSlSywIEIVURaY3ztP4oF-xwg9cM02oOrTA0-khpcsA6N4Y95CKnDfKI_RAppoOd8IH1ytEvwhlSOiYi2peJWy8Q3uFtbgkv6oN7ZtZ0xscjEZWbABdziY9IjjODaZkMFw0HdIasFXHt_vGQrmFu6LkZRPpvQbS36R_g)
which will show the flow of the composed machine and, in every box, the state space representation for every single composed machine.
which will show the flow of the composed machine and, in every box, the state space representation for every single composed machine.