Liking cljdoc? Tell your friends :D

automaton-simulation-de.impl.built-in-sd.causality-broken

stopping-definition to stop when causality is broken.

Causality is a property of the simulation model stating that a future event cannot change what has been done in the past already, so all changes in the state should not contradict any past event.

In practise, we check the next-snapshot date is equal or after the current snapshot.

`stopping-definition` to stop when causality is broken.

Causality is a property of the simulation model stating that a future event cannot change what has been done in the past already, so all changes in the state should not contradict any past event.

In practise, we check the `next-snapshot` `date` is equal or after the current `snapshot`.
raw docstring

automaton-simulation-de.impl.built-in-sd.execution-not-found

stopping-definition to stop when the execution of an event is not found in the registry.

`stopping-definition` to stop when the execution of an event is not found in the registry.
raw docstring

automaton-simulation-de.impl.built-in-sd.failed-event-execution

stopping-definition to stop when an execution has raised an exception.

`stopping-definition` to stop when an execution has raised an exception.
raw docstring

automaton-simulation-de.impl.built-in-sd.no-future-events

stopping-definition to stop when no future events exists anymore.

`stopping-definition` to stop when no future events exists anymore.
raw docstring

automaton-simulation-de.impl.built-in-sd.registry

built-in stopping-definition can create stopping-cause but they are not accessible for modellers, they are hard coded.

built-in `stopping-definition` can create `stopping-cause` but they are not accessible for modellers, they are hard coded.
raw docstring

automaton-simulation-de.impl.built-in-sd.request-validation

Stops when the request is not valid.

Stops when the request is not valid.
raw docstring

automaton-simulation-de.impl.built-in-sd.response-validation

Stops when the response is not valid.

Stops when the response is not valid.
raw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close