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 108 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 92 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 38 of file MakePOMDPCanonic.cpp.

operator<()

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

Definition at line 51 of file MakePOMDPCanonic.cpp.

operator<<()

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

Definition at line 81 of file MakePOMDPCanonic.cpp.