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 )