From 2ece2e76eefe9f354c6f76ba4f962fa4964dcca9 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Fri, 28 Feb 2020 21:46:25 +0100 Subject: [PATCH] networks: Re-export dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated. --- networks.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/networks.rkt b/networks.rkt index 002861f..fbf22f4 100644 --- a/networks.rkt +++ b/networks.rkt @@ -44,6 +44,8 @@ [dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))] [dds-build-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) graph?)] [dds-build-n-step-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)] + [dds-build-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) graph?)] + [dds-build-n-step-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)] [pretty-print-state (-> state? string?)] [any->boolean (-> any/c boolean?)] [pretty-print-boolean-state (-> state? string?)]