ReForma 0.223__tar.gz → 0.295__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (19) hide show
  1. {reforma-0.223 → reforma-0.295}/PKG-INFO +1 -1
  2. {reforma-0.223 → reforma-0.295}/ReForma.egg-info/PKG-INFO +1 -1
  3. {reforma-0.223 → reforma-0.295}/pyproject.toml +1 -1
  4. {reforma-0.223 → reforma-0.295}/reforma/__init__.py +18 -18
  5. {reforma-0.223 → reforma-0.295}/reforma/bin/RePATool.jar +0 -0
  6. {reforma-0.223 → reforma-0.295}/reforma/bin/js/cytoscape-dagre.js +396 -396
  7. {reforma-0.223 → reforma-0.295}/reforma/bin/js/cytoscape.min.js +32 -32
  8. {reforma-0.223 → reforma-0.295}/reforma/bin/js/dagre.js +16395 -16395
  9. {reforma-0.223 → reforma-0.295}/reforma/client.py +963 -943
  10. {reforma-0.223 → reforma-0.295}/reforma/jar_bridge.py +234 -231
  11. {reforma-0.223 → reforma-0.295}/reforma/model.py +95 -95
  12. {reforma-0.223 → reforma-0.295}/MANIFEST.in +0 -0
  13. {reforma-0.223 → reforma-0.295}/README.md +0 -0
  14. {reforma-0.223 → reforma-0.295}/ReForma.egg-info/SOURCES.txt +0 -0
  15. {reforma-0.223 → reforma-0.295}/ReForma.egg-info/dependency_links.txt +0 -0
  16. {reforma-0.223 → reforma-0.295}/ReForma.egg-info/requires.txt +0 -0
  17. {reforma-0.223 → reforma-0.295}/ReForma.egg-info/top_level.txt +0 -0
  18. {reforma-0.223 → reforma-0.295}/setup.cfg +0 -0
  19. {reforma-0.223 → reforma-0.295}/tests/test_reforma.py +0 -0
{reforma-0.223 → reforma-0.295}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: ReForma
3
- Version: 0.223
3
+ Version: 0.295
4
4
  Summary: Python bindings for the RePA/ReForma probabilistic automaton tool
5
5
  Author-email: Joshua Dourado <joshuadourado@ua.pt>
6
6
  License: MIT
{reforma-0.223 → reforma-0.295}/ReForma.egg-info/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: ReForma
3
- Version: 0.223
3
+ Version: 0.295
4
4
  Summary: Python bindings for the RePA/ReForma probabilistic automaton tool
5
5
  Author-email: Joshua Dourado <joshuadourado@ua.pt>
6
6
  License: MIT
{reforma-0.223 → reforma-0.295}/pyproject.toml RENAMED
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
4
4
 
5
5
  [project]
6
6
  name = "ReForma"
7
- version = "0.223"
7
+ version = "0.295"
8
8
  description = "Python bindings for the RePA/ReForma probabilistic automaton tool"
9
9
  readme = "README.md"
10
10
  requires-python = ">=3.10"
{reforma-0.223 → reforma-0.295}/reforma/__init__.py RENAMED
@@ -1,19 +1,19 @@
1
- """
2
- reforma - Python bindings for the RePA/reforma tool.
3
-
4
- The JAR is bundled inside the package. Usage:
5
-
6
- from reforma import ReForma
7
-
8
- model = ReForma()
9
-
10
- state = model.load_file("my_model.r")
11
- state = model.step("go_work")
12
- result = model.check_pdl("Home", "{P=?[F Office]}")
13
- """
14
-
15
- from .client import ReForma
16
- from .model import ReFormaModel, Transition, SimulationState
17
-
18
- __all__ = ["ReForma", "ReFormaModel", "Transition", "SimulationState"]
1
+ """
2
+ reforma - Python bindings for the RePA/reforma tool.
3
+
4
+ The JAR is bundled inside the package. Usage:
5
+
6
+ from reforma import ReForma
7
+
8
+ model = ReForma()
9
+
10
+ state = model.load_file("my_model.r")
11
+ state = model.step("go_work")
12
+ result = model.check_pdl("Home", "{P=?[F Office]}")
13
+ """
14
+
15
+ from .client import ReForma
16
+ from .model import ReFormaModel, Transition, SimulationState
17
+
18
+ __all__ = ["ReForma", "ReFormaModel", "Transition", "SimulationState"]
19
19
  __version__ = "0.2.0"