CatHS/0.9 — Category Theory based Hybrid Automata Tool¶
| Type: | package |
|---|---|
| State: | stalled |
| Servers: | vm2, vm1 |
About¶
This package provides tools for hybrid automata simulations baed on Category Theory.
sDL structure¶
Follows the standard sDL structure:
//%SCOPE description text
#include "somefile"
BEGIN-CODE [ CatHS/0.9 | {package options} ]
{package commands}
END-CODE
Commented lines, in the CODE body text, start with “##”.
Namespaces and commands¶
The standard “core” namespace is available.
Folders¶
(information will be added later by the package administrator)