Export hybrid automaton target() in Python · Issue #636 · ariadne-cps/ariadne · GitHub
Skip to content

Export hybrid automaton target() in Python #636

New issue
New issue
Closed
Closed
Export hybrid automaton target() in Python#636
Assignees
lgeretti
Labels
deficiencyUn undesirable feature which is not a bugpythonPython interface
Milestone
 
Release 2.4
@lgeretti

Description

@lgeretti
lgeretti
opened on Jun 8, 2021

In order to reconstruct a HybridAutomaton in Python, it is actually necessary to export the target() method.

Metadata

Metadata

Assignees

Labels

deficiencyUn undesirable feature which is not a bugpythonPython interface

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions