Demo usefull for control toy example
Demo usefull for control toy example
(evt-init {:keys [:automaton-simulation-de.scheduler.event/date]}
_state
future-events)
Add all products arrival to machine M1
Add all products arrival to machine M1
(infinite-part-terminate {:keys [:automaton-simulation-de.demo.control/product
:automaton-simulation-de.demo.control/machine
:automaton-simulation-de.scheduler.event/date]}
state
future-events)
(machine-arrive {:keys [:automaton-simulation-de.scheduler.event/date
:automaton-simulation-de.demo.control/product
:automaton-simulation-de.demo.control/machine]}
state
future-events)
Product p
is added on machine m
input buffer at date d
Creates a new event machine start for the same product p
starts on machine m
at date d
Product `p` is added on machine `m` input buffer at date `d` Creates a new event machine start for the same product `p` starts on machine `m` at date `d`
(machine-process {:keys [:automaton-simulation-de.scheduler.event/date
:automaton-simulation-de.demo.control/product
:automaton-simulation-de.demo.control/machine]}
state
future-events)
(machine-terminate {:keys [:automaton-simulation-de.scheduler.event/date
:automaton-simulation-de.demo.control/product
:automaton-simulation-de.demo.control/machine]}
state
future-events)
(model)
(model-early-end)
(model-infinite)
(part-terminate _ state future-events)
(registries)
(registries infinite?)
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close