Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
alvis:start [2018/05/05 07:19] marcin [Reference Card] | alvis:start [2021/10/23 17:24] (current) marcin [Download] | ||
---|---|---|---|
Line 13: | Line 13: | ||
- [[alvis: | - [[alvis: | ||
- [[alvis: | - [[alvis: | ||
+ | - {{ : | ||
+ | * name.alvis - model XML file, | ||
+ | * namecorrect.dot - LTS (dot format) for non-time version of the model, | ||
+ | * nametime1correct.dot - LTS (dot format) for time version of the model (default duration function), | ||
+ | * nametimemixcorrect.dot - LTS (dot format) for time version of the model (user defined duration function - see duration.hs). | ||
====== Download ====== | ====== Download ====== | ||
Line 18: | Line 23: | ||
* {{ : | * {{ : | ||
* {{ : | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
====== Reference Card ====== | ====== Reference Card ====== | ||
{{ : | {{ : |