01_user_documentation:06_graph:05_derivation:01_mode
Mode
This section present the derivation modes.
Parallel
All rules are applied via every possible match in parallel. A single node may be deleted by several rule applications.
Parallel non deterministic
It is ensured that a single node is deleted by at most one actual rule application. If several potential rule applications delete the same node, one actual application is chosen pseudo-randomly.
Sequential
Only one rule application is performed in a single step (as marked by {@link #derive()}). If several applications are possible, only the first one is chosen.
Sequential non deterministic
Only one rule application is performed in a single step (as marked by {@link #derive()}). If several applications are possible, one is chosen pseudo-randomly.
Interpretive
Rules have to be applied as interpretive rules.
01_user_documentation/06_graph/05_derivation/01_mode.txt · Last modified: 2025/01/30 11:38 by gaetan