Re: Breadth First Search Missionaries and Cannibals

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 04/30/2013 12:56 AM, Georg Bauhaus wrote:
>
> While this does not address the combinatorial part, if modern IT
> is permitted to be built atop vague, implementation defined
> types stuck in the 1970s (Integer), why not boldly move on to the
> 1980s and turn the assumption "all are >= 2" into a rock solid type?
>
>     type Entity_Count is range 2 .. Max_Possible_Number;
>
>     function Min_Crossings(M, C, R : Entity_Count) return ...
>
> If the suffix of Entitiy_Count hides too much information ("Is this an int,
> actually?") in the context of an algorithmic exercise, you could call it
> Entity_int.

It's pretty clear that these are homework problems, and the subprogram 
declaration is provided by the instructor, who for some reason is not using 
subtypes or user-defined types.

-- 
Jeff Carter
"Strange women lying in ponds distributing swords
is no basis for a system of government."
Monty Python & the Holy Grail
66