[Eva] Partition: do not export split_monitor, simplifies the split/merge actions.
split_monitors are created and internally used by partition. New type split_kind to distinguish between static and dynamic splits, instead of using different constructors in the action type.
Showing
- src/plugins/value/engine/partition.ml 18 additions, 21 deletionssrc/plugins/value/engine/partition.ml
- src/plugins/value/engine/partition.mli 4 additions, 14 deletionssrc/plugins/value/engine/partition.mli
- src/plugins/value/engine/partitioning_parameters.ml 8 additions, 6 deletionssrc/plugins/value/engine/partitioning_parameters.ml
- src/plugins/value/engine/state_partitioning.mli 0 additions, 1 deletionsrc/plugins/value/engine/state_partitioning.mli
Loading
Please register or sign in to comment