OverlappingGuardAnalyser

Warning

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

class OverlappingGuardAnalyser(

self: stormpy.developer.storage._storage.OverlappingGuardAnalyser,

program: stormpy.io.PrismProgram,

smt solver factory: storm::utility::solver::SmtSolverFactory,

)

Bases: pybind11_object

An SMT driven analysis for overlapping guards

has_module_with_inner_action_overlap(

self: stormpy.developer.storage._storage.OverlappingGuardAnalyser,

) → bool