has_potential_modeling_issues

Warning

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

has_potential_modeling_issues(dft: storm::dft::storage::DFT<double>) → tuple[bool, str]

has_potential_modeling_issues(

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

carl: :NotRelevant,

carl: :StdMultivariatePolynomialPolicies<0> > >,

true> >,

) → tuple[bool, str]

Check whether DFT has potential modeling issues.

Check whether DFT has potential modeling issues.