-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
refactor!: generalize STG to MutableTransition #156
Conversation
WARNING: this removes the __post_init__ check, but this didn't seem to be doing anything anyway. Initially, I simply renamed the check __attrs_post_init__, but this actually does perform the check and then the system crashes. This seems to be an issue that needs to be addressed separately.
…Solution, InitialFacts
Check out this pull request on See visual diffs & provide feedback on Jupyter Notebooks. Powered by ReviewNB |
9499fe3
to
dfb288b
Compare
Apparently, Python 3.6 cannot work well with generic abstract base classes. Before 140843a: After 140843a: ...this again indicates we should drop support for Python 3.6. |
All classes that map properties onto a
Topology
are now aTransition
. A distinction is made betweenMutableTransition
(for instance, the originalStateTransitionGraph
) and aFrozenTransition
(hashable and ordered―the originalStateTransition
class).New design can best be read about in the renewed API of the
qrules.topology
module.