get_topological_sort

Warning

The stormpy developer API is internal and can be subject to change.

get_topological_sort(matrix: storm::storage::SparseMatrix<double>, initial: collections.abc.Sequence[typing.SupportsInt | typing.SupportsIndex]) → list[int]

get_topological_sort(matrix: storm::storage::SparseMatrix<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >, initial: collections.abc.Sequence[typing.SupportsInt | typing.SupportsIndex]) → list[int]

get_topological_sort(matrix: storm::storage::SparseMatrix<carl::Interval<double> >, initial: collections.abc.Sequence[typing.SupportsInt | typing.SupportsIndex]) → list[int]

get_topological_sort(matrix: storm::storage::SparseMatrix<carl::Interval<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> > >, initial: collections.abc.Sequence[typing.SupportsInt | typing.SupportsIndex]) → list[int]

get_topological_sort(matrix: storm::storage::SparseMatrix<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >, initial: collections.abc.Sequence[typing.SupportsInt | typing.SupportsIndex]) → list[int]

get topological sort w.r.t. a transition matrix

get topological sort w.r.t. a transition matrix

get topological sort w.r.t. a transition matrix

get topological sort w.r.t. a transition matrix

get topological sort w.r.t. a transition matrix