owl-base
Owl_computation_optimiser.Make
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