| .. |
|
sccd
|
00becf8a0d
Re-implemented priority semantics: Based on priority semantics, a directed graph of orderings between transitions is explicitly built, checked for cycles, and from it, a total ordering of transitions is constructed. Transitions between whom no ordering exists are only allowed if they cannot be simultaneously enabled wrt their source states. It is now possible to switch off explicit ordering of orthogonal regions and explicit ordering of transitions with the same source state (but it's ON by default :)
|
5 年之前 |
|
MANIFEST.in
|
1942a46c82
fixed setup and tests
|
5 年之前 |
|
build.bat
|
302c92eb3a
added build script, for people who don't want to install sccd onto their python install dir
|
8 年之前 |
|
install.bat
|
d0e1721ac9
changed structure completely, now has an installer
|
9 年之前 |
|
setup.py
|
1942a46c82
fixed setup and tests
|
5 年之前 |
|
setup.sh
|
9315a1c42e
Fix install script for pypy as well
|
7 年之前 |
Joeri Exelmans
00becf8a0d
Re-implemented priority semantics: Based on priority semantics, a directed graph of orderings between transitions is explicitly built, checked for cycles, and from it, a total ordering of transitions is constructed. Transitions between whom no ordering exists are only allowed if they cannot be simultaneously enabled wrt their source states. It is now possible to switch off explicit ordering of orthogonal regions and explicit ordering of transitions with the same source state (but it's ON by default :)