+
Point of view
All features
class TOWER
Summary
top
Direct parents
Insert list: ANY
Overview
top
writable attribute
{}
top
writable attribute
{}
top
full (n: INTEGER_32)
effective procedure
{}
top
require
  • n >= 1
ensure
empty (n: INTEGER_32)
effective procedure
{}
top
require
  • n >= 1
ensure
effective function
{HANOI}
top
show_a_discus (d: INTEGER_32, picture: STRING)
effective procedure
{HANOI}
top
require
  • 1 <= d
  • d <= nb
  • picture /= Void
remove_discus: INTEGER_32
effective function
{HANOI}
top
ensure
add_discus (d: INTEGER_32)
effective procedure
{HANOI}
top
ensure