| .. |
|
bottom
|
4160a8953e
Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.
|
преди 1 година |
|
point
|
ec1a9dbfca
replace everywhere: 'is [not] None' -> '(==|!=) None'
|
преди 1 година |
|
primitives
|
59de61d0a3
Add ActionCode primitive type. Fix constraint checking.
|
преди 1 година |
|
__init__.py
|
5e28a8d108
Missing files and requirements
|
преди 4 години |
|
od.py
|
17bff66e8e
Add conformance checking example
|
преди 1 година |
|
pn.py
|
04fed97deb
Added docs
|
преди 4 години |
|
scd.py
|
52ded8af77
Add concrete syntax for class diagrams + example (woods2.py)
|
преди 1 година |
Joeri Exelmans
52ded8af77
Add concrete syntax for class diagrams + example (woods2.py)