Make (owl-base.Owl_computation

Parameters

module Operator : Owl_computation_operator_sig.Sig

module Operator = Operator

val _optimise_term : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_000 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_001 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_002 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_003 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_004 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_005 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_006 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_007 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_008 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_009 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_010 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_011 : Operator.Symbol.Shape.Type.op -> float -> float -> float

val pattern_012 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_013 : Operator.Symbol.Shape.Type.op -> float -> float

val pattern_014 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_016 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_017 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_015 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_018 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_019 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_020 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_021 : 'a -> 'b

val pattern_022 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_023 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val pattern_024 : Operator.Symbol.Shape.Type.attr Owl_graph.node -> unit

val estimate_complexity : 'a Owl_graph.node array -> int * int

val optimise_nodes : 
  Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  unit