storm::prism::OverlappingGuardAnalyser Class Reference

#include <OverlappingGuardAnalyser.h>

Public Member Functions
	OverlappingGuardAnalyser (Program const &program, std::shared_ptr< storm::utility::solver::SmtSolverFactory > &smtSolverFactory)
bool	hasModuleWithInnerActionOverlap ()
	returns true iff there are two commands that

Detailed Description

Definition at line 20 of file OverlappingGuardAnalyser.h.

Constructor & Destructor Documentation

OverlappingGuardAnalyser()

storm::prism::OverlappingGuardAnalyser::OverlappingGuardAnalyser	(	Program const &	program,
		std::shared_ptr< storm::utility::solver::SmtSolverFactory > &	smtSolverFactory
	)

Definition at line 7 of file OverlappingGuardAnalyser.cpp.

Member Function Documentation

hasModuleWithInnerActionOverlap()

bool storm::prism::OverlappingGuardAnalyser::hasModuleWithInnerActionOverlap

(

)

returns true iff there are two commands that

• are contained in the same module,
• either have the same action label or are both unlabeled, and
• have overlapping guards, i.e., can be enabled simultaneously.

Definition at line 12 of file OverlappingGuardAnalyser.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/storage/prism/OverlappingGuardAnalyser.h
• src/storm/storage/prism/OverlappingGuardAnalyser.cpp