get_parameters¶
Warning
The stormpy developer API is internal and can be subject to change.
- get_parameters(
- dft: storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA,
- carl: :NotRelevant,
- carl: :StdMultivariatePolynomialPolicies<0> > >,
- true> >,
Collect parameters in parametric DFT