transform_dft

Warning

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

transform_dft(

dft: storm::dft::storage::DFT<double>,

unique_constant_be: bool,

binary_fdeps: bool,

exponential_distributions: bool,

) → storm::dft::storage::DFT<double>

transform_dft(

dft: storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA,

carl: :NotRelevant,

carl: :StdMultivariatePolynomialPolicies<0> > >,

true> >,

unique_constant_be: bool,

binary_fdeps: bool,

exponential_distributions: bool,

) → storm::dft::storage::DFT<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >

Apply transformations on DFT

Apply transformations on DFT