scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

generic: Say which methods have no fallback.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-23 15:05:06 +01:00
parent e7eb1fb09e
commit a26ce5aebc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
generic.rkt
View file

@ -25,10 +25,11 @@
;;; A discrete dynamical system. ;;; A discrete dynamical system.
(define-generics dds (define-generics dds
;; Given a dds and a state, produce the next states of the dds. ;; Given a dds and a state, produce the next states of the dds.
;; This method has no fallback.
(dds-step-one dds state) (dds-step-one dds state)
;; Given a dds and a state, produce the next states paired with some ;; Given a dds and a state, produce the next states paired with some
;; annotation. Typical usage would include including the ;; annotation. Typical usage would include including the
;; information about the update mode. ;; information about the update mode. This method has no fallback.
(dds-step-one-annotated dds state) (dds-step-one-annotated dds state)
;; Given a dds and a set of starting states, produce the set of ;; Given a dds and a set of starting states, produce the set of
;; states reachable in one step. This method falls back to running ;; states reachable in one step. This method falls back to running