User Tools

Site Tools


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