compute_dependency_conflicts

Warning

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

compute_dependency_conflicts(

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

use_smt: bool = False,

solver_timeout: SupportsFloat | SupportsIndex = 0,

) → bool

compute_dependency_conflicts(

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

carl: :NotRelevant,

carl: :StdMultivariatePolynomialPolicies<0> > >,

true> >,

use_smt: bool = False,

solver_timeout: SupportsFloat | SupportsIndex = 0,

) → bool

Set conflicts between FDEPs. Is used in analysis.

Set conflicts between FDEPs. Is used in analysis.