Skip to content

Commit

Permalink
added way to display just the last trace of the reachtube, more of a …
Browse files Browse the repository at this point in the history
…hack than an actual function right now
  • Loading branch information
AlexYFM committed Jun 24, 2024
1 parent 350716b commit 541a474
Show file tree
Hide file tree
Showing 4 changed files with 429 additions and 20 deletions.
4 changes: 2 additions & 2 deletions demo/fixed_points/ball_scenario_branch.py
Original file line number Diff line number Diff line change
Expand Up @@ -63,8 +63,8 @@ def __init__(self) -> None:
myball1 = BallAgent("red-ball", file_name=BALL_CONTROLLER)
self.scenario.add_agent(myball1)
self.scenario.set_init(
[[[0, 0, 2, 2], [0, 0, 2, 2]], ], # modified from original to check for fixed points, see below
# [[[5, 10, 2, 2], [5, 10, 2, 2]],],
# [[[0, 0, 2, 2], [0, 0, 2, 2]], ], # modified from original to check for fixed points, see below
[[[5, 10, 2, 2], [5, 10, 2, 2]],],
[(BallMode.NORMAL,), ],
)

Expand Down
4 changes: 3 additions & 1 deletion demo/fixed_points/cardiac_cell_demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -33,11 +33,13 @@
)

trace = scenario.verify(10, 0.01)

sim = scenario.simulate(10, 0.01)
pp_fix(reach_at_fix(trace, 0, 10))
print(f'Fixed points exists? {fixed_points_fix(trace, 15, 0.01)}')

fig = go.Figure()
fig = reachtube_tree(trace, None, fig, 0, 1, [0, 1], "fill", "trace")
fig = reachtube_tree(trace, None, fig, 0, 1, [0, 1], "fill", "trace")

# fig = simulation_tree(trace, None, fig, 1, 2, [1, 2], "fill", "trace")
fig.show()
Loading

0 comments on commit 541a474

Please sign in to comment.