storm::transformer::detail Namespace Reference

Classes
struct	ActionIdentifier
class	ChoiceLabelIdStorage

Functions
template<typename iterator1 , typename iterator2 >
bool	compatibleWith (iterator1 start1, iterator1 end1, iterator2 start2, iterator2 end2)
bool	operator< (ActionIdentifier const &lhs, ActionIdentifier const &rhs)
std::ostream &	operator<< (std::ostream &os, ChoiceLabelIdStorage const &labelStorage)
void	actionIdentifiersToStream (std::ostream &stream, std::vector< ActionIdentifier > const &actionIdentifiers, ChoiceLabelIdStorage const &labelStorage)
template<typename IrrelevantType >
void	actionIdentifiersToStream (std::ostream &stream, std::map< ActionIdentifier, IrrelevantType > const &actionIdentifiers, ChoiceLabelIdStorage const &labelStorage)

Function Documentation

actionIdentifiersToStream() [1/2]

template<typename IrrelevantType >

void storm::transformer::detail::actionIdentifiersToStream	(	std::ostream &	stream,
		std::map< ActionIdentifier, IrrelevantType > const &	actionIdentifiers,
		ChoiceLabelIdStorage const &	labelStorage
	)

Definition at line 107 of file MakePOMDPCanonic.cpp.

actionIdentifiersToStream() [2/2]

void storm::transformer::detail::actionIdentifiersToStream	(	std::ostream &	stream,
		std::vector< ActionIdentifier > const &	actionIdentifiers,
		ChoiceLabelIdStorage const &	labelStorage
	)

Definition at line 91 of file MakePOMDPCanonic.cpp.

compatibleWith()

template<typename iterator1 , typename iterator2 >

bool storm::transformer::detail::compatibleWith	(	iterator1	start1,
		iterator1	end1,
		iterator2	start2,
		iterator2	end2
	)

Definition at line 37 of file MakePOMDPCanonic.cpp.

operator<()

bool storm::transformer::detail::operator<	(	ActionIdentifier const &	lhs,
		ActionIdentifier const &	rhs
	)

Definition at line 50 of file MakePOMDPCanonic.cpp.

operator<<()

std::ostream & storm::transformer::detail::operator<<	(	std::ostream &	os,
		ChoiceLabelIdStorage const &	labelStorage
	)

Definition at line 80 of file MakePOMDPCanonic.cpp.