Module Measure.Causal_states

module Causal_states: sig .. end

module Clustering: sig .. end

Merge probability distributions.

val causal_states : float ->
       (int -> bool) ->
       int array array ->
       int -> int -> 'a array array -> 'b array array -> int array * int array

Since this function is going to be heavily used, we optimize it by returning an int array instead of an int option array. -1 isn't a causal state, it means that the causal state wasn't computed for this cell because discard_cell returned false.

discard_cell index must return true iff the cell has to be taken into account. This is used only in the bounded topology where we want to use only cells that are sufficiently far from the boundary.