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 [2017/01/11 23:00] marcin [Documentation] | alvis:start [2021/10/23 17:24] (current) marcin [Download] | ||
---|---|---|---|
Line 3: | Line 3: | ||
====== Documentation ====== | ====== Documentation ====== | ||
- | * [[: | ||
* {{ : | * {{ : | ||
+ | * [[: | ||
* [[: | * [[: | ||
+ | * [[: | ||
====== Examples ====== | ====== Examples ====== | ||
Line 12: | 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 ====== | ||
+ | |||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
====== Reference Card ====== | ====== Reference Card ====== | ||
- | {{ :alvis:alvis-survey.png?650 |}} | + | {{ :alvis:alvis_syntax.png?700 |}} |