src/frontend/tests/test_examples.sav/test_model_examples.res

   1 test_prog::game_examples provides example for:
   2  * test_prog::Game (4)
   3  * test_prog$Game (4)
   4  * test_prog$List (2)
   5  * test_prog$Game$stop_game (1)
   6  * test_prog$Game$pause_game (1)
   7  * test_prog$Game$start_game (1)
   8  * test_prog::game (1)
   9  * test_prog>game> (1)
  10  * test_prog (1)
  11 test_prog$MyGame provides example for:
  12  * test_prog::Game (4)
  13  * test_prog$Game (4)
  14  * test_prog$List (2)
  15  * test_prog$Game$stop_game (1)
  16  * test_prog$Game$pause_game (1)
  17  * test_prog$Game$start_game (1)
  18 test_prog$MyGame$Game::start_game provides example for:
  19  * test_prog$Game$start_game (1)
  20  * test_prog$Game (1)
  21  * test_prog::Game (1)
  22 test_prog$MyGame$Game::pause_game provides example for:
  23  * test_prog$Game$pause_game (1)
  24  * test_prog$Game (1)
  25  * test_prog::Game (1)
  26 test_prog$MyGame$Game::stop_game provides example for:
  27  * test_prog$Game$stop_game (1)
  28  * test_prog$Game (1)
  29  * test_prog::Game (1)
  30 test_prog$MyGame$_player_characters provides example for:
  31  * test_prog$List (1)
  32 test_prog$MyGame$_computer_characters provides example for:
  33  * test_prog$List (1)