storm::modelchecker::helper::lexicographic Namespace Reference

Namespaces
namespace	spothelper

Classes
class	lexicographicModelCheckerHelper

Functions
const storm::storage::BitVector &	getStreettSet (storm::automata::AcceptanceCondition::ptr const &acceptance, storm::automata::AcceptanceCondition::acceptance_expr::ptr const &setPointer)

Function Documentation

getStreettSet()

const storm::storage::BitVector & storm::modelchecker::helper::lexicographic::getStreettSet	(	storm::automata::AcceptanceCondition::ptr const &	acceptance,
		storm::automata::AcceptanceCondition::acceptance_expr::ptr const &	setPointer
	)

Definition at line 184 of file lexicographicModelCheckerHelper.cpp.