Skip to index filter Skip to main content

Getting Started
Documentation
API
Extensions API
Developer API
Storm

Search the documentation

stormpy

Getting Started

Documentation

Advanced Examples
Getting Started with Pycarl

API

Storm

stormpy
Change appearance
- Change appearance
- Light
- Dark
- Automatic

Index

Index

Contents:

Installation
Getting Started
Advanced Examples
Getting Started with Pycarl
Developer information
Contributors
API Documentation
Extensions API Documentation
Developer API Documentation

Start
API Documentation
stormpy.io
JaniEdgeDestination

JaniEdgeDestination¶

class JaniEdgeDestination¶

Bases: pybind11_object

Destination in Jani

property assignments¶

property probability¶

property target_location_index¶

On this page

JaniEdgeDestination
- JaniEdgeDestination

Previous JaniEdge
Next JaniLocation

Documentation
Package
Repository
Issues

stormpy

2016-2026 Storm Developers

Built with Sphinx 9.2.0 and Nefertiti 0.9.11