storm::pomdp::qualitative::detail Namespace Reference

Classes
struct	ObsActPair

Functions
bool	operator< (ObsActPair const &o1, ObsActPair const &o2)

Function Documentation

operator<()

bool storm::pomdp::qualitative::detail::operator<	(	ObsActPair const &	o1,
		ObsActPair const &	o2
	)

Definition at line 24 of file JaniBeliefSupportMdpGenerator.cpp.