We want to make the structure of the PAYNT package more straightforward for the developers.
The idea is to have a core subpackage which contains the main parts of PAYNT, and then have individual subpackages for different features like POMDP FSC synthesis, decision trees etc.
The structure will look something like this:
- paynt
- synthesizer
- parser
- family
- _utils
- quotient.py
- pomdp
- saynt (in the future)
- factory.py (this is where colored mdps are created)
- synthesizer.py
- result.py
- task.py
- decision_tree
- dtnest
- factory.py
- synthesizer.py
- result.py
- task.py
- posmg
and so on...
We want to make the structure of the PAYNT package more straightforward for the developers.
The idea is to have a
coresubpackage which contains the main parts of PAYNT, and then have individual subpackages for different features like POMDP FSC synthesis, decision trees etc.The structure will look something like this:
and so on...