Quelle Graphics.vdmsl Sprache: VDM

module gui_Graphics

imports from Conway all

exports all
definitions

types
Configuration ::
  gridSide : int
  sleepTime : int
  pop : Conway`Population;

functions
generations_animate: nat1 * Configuration -> seq of Conway`Population
generations_animate(n,conf) ==
  let - = initialise(conf.gridSide, conf.sleepTime)
   in
    let patterns =  Conway`generations(n, conf.pop)
     in
      animate_step(patterns);

animate_step : seq of Conway`Population -> seq of Conway`Population
animate_step(pop) ==
  if pop = []
  then []
  else
   let - = {newLivingCell(cell.x, cell.y)| cell in set hd pop}
    in
     let - = newRound()
      in
        animate_step(tl pop)
measure measure_animate_step;

measure_animate_step: seq of Conway`Population -> nat
measure_animate_step(list) == len list;

initialise: nat1 * nat1 -> int
  initialise(gridSideCount, sleepTime)== is not yet specified;

  newLivingCell:  int * int -> int
  newLivingCell(x,y)== is not yet specified;

  newRound: () -> int
  newRound()== is not yet specified;

values
BLOCK = mk_Configuration(4, 500, Conway`BLOCK);

BLINKER = mk_Configuration(5, 500, Conway`BLINKER);

TOAD = mk_Configuration(6, 500, Conway`TOAD );

BEACON = mk_Configuration(8, 500, Conway`BEACON);

PULSAR =  mk_Configuration(17, 1000, Conway`PULSAR);

  DIEHARD = mk_Configuration(33, 300, Conway`DIEHARD);

  GLIDER = mk_Configuration(40, 100, Conway`GLIDER);

  GOSPER_GLIDER_GUN = mk_Configuration(40, 50, Conway`GOSPER_GLIDER_GUN);

end gui_Graphics

quality88%

¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.