Previous  Up  

Module Nvector_many.Any

module Any: sig .. end

A generic nvector interface to many-vector nvectors.

Create many-vector nvectors using the generic nvector interface where the payload is wrapped with the Many constructor.

val wrap : ?context:Sundials.Context.t -> Nvector.any Sundials.ROArray.t -> Nvector.any

Creates a generic nvector from an array of generic nvectors.

val unwrap : Nvector.any -> Nvector_many.data

Returns the payload of the generic vector if it was constructed with Many, otherwise raises Nvector.BadGenericType.

val enable : ?with_fused_ops:bool ->
       ?with_linear_combination:bool ->
       ?with_scale_add_multi:bool ->
       ?with_dot_prod_multi:bool ->
       ?with_linear_sum_vector_array:bool ->
       ?with_scale_vector_array:bool ->
       ?with_const_vector_array:bool ->
       ?with_wrms_norm_vector_array:bool ->
       ?with_wrms_norm_mask_vector_array:bool ->
       ?with_dot_prod_multi_local:bool -> Nvector.any -> unit

Selectively enable or disable fused and array operations. The with_fused_ops argument enables or disables all such operations.