| .. |
|
bottom
|
a4352e3184
BIG speedup by caching the *set* of edge targets for a given key
|
vor 1 Jahr |
|
point
|
ec1a9dbfca
replace everywhere: 'is [not] None' -> '(==|!=) None'
|
vor 1 Jahr |
|
primitives
|
59de61d0a3
Add ActionCode primitive type. Fix constraint checking.
|
vor 1 Jahr |
|
__init__.py
|
5e28a8d108
Missing files and requirements
|
vor 4 Jahren |
|
od.py
|
cd26a401fe
Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class.
|
vor 1 Jahr |
|
pn.py
|
04fed97deb
Added docs
|
vor 4 Jahren |
|
scd.py
|
52ded8af77
Add concrete syntax for class diagrams + example (woods2.py)
|
vor 1 Jahr |
Joeri Exelmans
a4352e3184
BIG speedup by caching the *set* of edge targets for a given key