package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val prefix : string
module ToS : sig ... end
module ToSTree : sig ... end
module OfStree : sig ... end
val check_input : Wap_exchange.input -> bool
val check_output_component : int -> int -> Wap_exchange.output_component -> bool
val check_sequence_pred : ?i:int -> Wap_exchange.sequence -> bool
val check_output : Wap_exchange.output -> bool
val assert_input : Wap_exchange.input -> unit
val assert_sequence_pred : ?i:int -> Wap_exchange.sequence -> unit
val assert_output : Wap_exchange.output -> unit
val list_sort : 'a list -> 'a list
val normalize_input : Wap_exchange.input -> Wap_exchange.input
val update_tree : ?vlen:int option -> Wap_exchange.output -> unit
val operator_SSO : ?verbose:bool -> ?optimal:bool -> Wap_exchange.input -> int list list -> Wap_exchange.output