2020-02-23 12:19:37 +01:00
|
|
|
#lang racket
|
|
|
|
|
|
|
|
|
|
;;; dds/generic
|
|
|
|
|
|
|
|
|
|
;;; Provides the definition of several generic interfaces for discrete
|
|
|
|
|
;;; dynamical systems.
|
|
|
|
|
|
|
|
|
|
(require racket/generic)
|
|
|
|
|
|
|
|
|
|
(provide
|
|
|
|
|
;; Generics
|
|
|
|
|
gen:dds
|
|
|
|
|
;; Functions
|
2020-02-23 12:23:55 +01:00
|
|
|
(contract-out [dds-step-one (-> dds? any/c (set/c any/c))])
|
2020-02-23 12:19:37 +01:00
|
|
|
;; Predicates
|
|
|
|
|
(contract-out [dds? (-> any/c boolean?)]))
|
|
|
|
|
|
|
|
|
|
;;; A discrete dynamical system.
|
|
|
|
|
(define-generics dds
|
2020-02-23 12:21:08 +01:00
|
|
|
;; Given a dds and a state, produce the next states of the dds.
|
2020-02-23 12:23:55 +01:00
|
|
|
(dds-step-one dds state))
|
