FailableElement¶

Warning

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

class FailableElement¶

Bases: pybind11_object

Failable element

as_be( dft: stormpy.dft.developer._dft._DFT_Double, ) → storm::dft::storage::elements::DFTBE<double>¶

as_be( dft: stormpy.dft.developer._dft._DFT_RationalFunction, ) → storm::dft::storage::elements::DFTBE<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >

Get BE which fails

as_be_double( self: stormpy.dft.developer._dft.FailableElement, dft: stormpy.dft.developer._dft._DFT_Double, ) → storm::dft::storage::elements::DFTBE<double>¶: Get BE which fails in a double-valued DFT

as_be_ratfunc( self: stormpy.dft.developer._dft.FailableElement, dft: stormpy.dft.developer._dft._DFT_RationalFunction, ) → storm::dft::storage::elements::DFTBE<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >¶: Get BE which fails in a rational-function-valued DFT

as_dependency( dft: stormpy.dft.developer._dft._DFT_Double, ) → storm::dft::storage::elements::DFTDependency<double>¶

as_dependency( dft: stormpy.dft.developer._dft._DFT_RationalFunction, ) → storm::dft::storage::elements::DFTDependency<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >

Get dependency which is triggered

as_dependency_double( self: stormpy.dft.developer._dft.FailableElement, dft: stormpy.dft.developer._dft._DFT_Double, ) → storm::dft::storage::elements::DFTDependency<double>¶: Get dependency which is triggered in a double-valued DFT

as_dependency_ratfunc( self: stormpy.dft.developer._dft.FailableElement, dft: stormpy.dft.developer._dft._DFT_RationalFunction, ) → storm::dft::storage::elements::DFTDependency<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >¶: Get dependency which is triggered in a rational-function-valued DFT

is_due_dependency(self: stormpy.dft.developer._dft.FailableElement) → bool¶: Is failure due to dependency