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.