Start Extensions API Documentation stormpy.gspn LayoutInfo LayoutInfo¶ class LayoutInfo¶ class LayoutInfo( x: SupportsFloat | SupportsIndex, y: SupportsFloat | SupportsIndex, rotation: SupportsFloat | SupportsIndex = 0.0, ) Bases: pybind11_object Layout information (position and rotation) of a place or transition property rotation¶ property x¶ property y¶