module Varstate: sig .. end
Set of functions for indexing and iterating over the states of
sets of variables.
exception NoMoreStates
val get_offsets : int array -> int array
val idx_to_varstate : int array -> int -> int array
val varstate_to_idx : int array -> int array -> int
val state_to_idx : int array -> int array -> int array -> int
val incstate : int array -> int array -> int list -> unit
Helper function for iterating over all states of the
parent variables. Usage: incstate schema varstate parents
val map_state : int array -> int list -> (int array -> 'a) -> 'a list
val iter_state : int array -> int list -> (int array -> 'a) -> unit