is_well_formed

Warning

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

is_well_formed(

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

check_valid_for_analysis: bool = True,

) → tuple[bool, str]

is_well_formed(

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

carl: :NotRelevant,

carl: :StdMultivariatePolynomialPolicies<0> > >,

true> >,

check_valid_for_analysis: bool = True,

) → tuple[bool, str]

Check whether DFT is well-formed.

Check whether DFT is well-formed.