diff options
| author | Arun Isaac | 2025-06-26 14:37:30 +0100 |
|---|---|---|
| committer | Arun Isaac | 2025-06-26 14:50:27 +0100 |
| commit | 2b90e57c16a31dd65c949a247b482134fba4a9b4 (patch) | |
| tree | 37bf00f3f8a6deb52910f9a0bdc014075004687d | |
| parent | 8c2e681cb90e5f319d9e869a75fd200cce4978ed (diff) | |
| download | ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.tar.gz ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.tar.lz ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.zip | |
propnet: Export predicates.
* ravanan/propnet.scm (propnet?, propagator?, scheduler?,
state+status?): Export.
| -rw-r--r-- | ravanan/propnet.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ravanan/propnet.scm b/ravanan/propnet.scm index 34624b5..bea91fb 100644 --- a/ravanan/propnet.scm +++ b/ravanan/propnet.scm @@ -26,22 +26,26 @@ #:use-module (ravanan work monads) #:use-module (ravanan work utils) #:export (propnet + propnet? propnet-propagators propnet-value=? propnet-merge-values propnet-scheduler propagator + propagator? propagator-name propagator-proc propagator-inputs propagator-optional-inputs propagator-outputs scheduler + scheduler? scheduler-schedule scheduler-poll scheduler-capture-output schedule-propnet state+status + state+status? state+status-state state+status-status poll-propnet |