RandomVariable min(double c_arg, RandomVariable & rv_arg)
{
return rv_arg.min(c_arg);
}
// the very same implementation as in RandomVariable::min,
// but this is called in a more intuitive way
RandomVariable min(RandomVariable & firstarg, RandomVariable & secondarg)
{
return firstarg.min(secondarg);
}