From a26ce5aebc4fc8c9eab93a9d7755715c6d833fcb Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 23 Feb 2020 15:05:06 +0100 Subject: [PATCH] generic: Say which methods have no fallback. --- generic.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/generic.rkt b/generic.rkt index 2768342..e1c823a 100644 --- a/generic.rkt +++ b/generic.rkt @@ -25,10 +25,11 @@ ;;; A discrete dynamical system. (define-generics dds ;; Given a dds and a state, produce the next states of the dds. + ;; This method has no fallback. (dds-step-one dds state) ;; Given a dds and a state, produce the next states paired with some ;; 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) ;; Given a dds and a set of starting states, produce the set of ;; states reachable in one step. This method falls back to running