Module Fcl_invariant.Array

module Array: sig .. end

val get : ('a, 'b) Fcl_invariant.t array ->
       (int, 'c) Fcl_invariant.t -> 'a Fcl_invariant.unsetable_t

get a i returns the BIR element number i of array a.

val argmin : ('a, 'b) Fcl_invariant.t array -> ('a -> 'c) -> int Fcl_invariant.unsetable_t

argmin a c returns the BIR index of the minimum BIR value of a for criterion c.

val min : ('a, 'b) Fcl_invariant.t array -> ('a -> 'c) -> 'a Fcl_invariant.unsetable_t

min a c returns the minimum BIR value of a for criterion c.