owl-symbolic 0.2.0 · OCaml Package

ON THIS PAGE

Type definition
Core functions

package owl-symbolic

owl-symbolic
- Onnx_pb
- Onnx_pp
- Onnx_types
- Owl_symbolic
- Owl_symbolic_cas_add
- Owl_symbolic_cas_assumption
- Owl_symbolic_cas_canonical
- Owl_symbolic_cas_mul
- Owl_symbolic_cas_tree
- Owl_symbolic_engine
- Owl_symbolic_engine_html
- Owl_symbolic_engine_latex
- Owl_symbolic_engine_nnef
- Owl_symbolic_engine_onnx
- Owl_symbolic_engine_owl
  - Make
    
    G
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Graph
    
    Optimiser
    
    Operator
    
    Linalg
    
    Mat
    
    Scalar
    
    Symbol
    
    Shape
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Linalg
    
    Mat
    
    Operator
    
    Linalg
    
    Mat
    
    Scalar
    
    Symbol
    
    Shape
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Optimiser
    
    Operator
    
    Linalg
    
    Mat
    
    Scalar
    
    Symbol
    
    Shape
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Scalar
    
    Shape
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Symbol
    
    Shape
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
    
    Type
    
    Device
    
    A
    
    Linalg
    
    Mat
    
    Scalar
- Owl_symbolic_graph
- Owl_symbolic_infix
- Owl_symbolic_namespace
- Owl_symbolic_neural_graph
- Owl_symbolic_operator
- Owl_symbolic_ops_controlflow
- Owl_symbolic_ops_generator
  - Complex
  - ConstantOfShape
  - EyeLike
  - Float
  - Int
  - Multinomial
  - NegOne
  - One
  - Pi
  - RandomNormal
  - RandomNormalLike
  - RandomUniform
  - RandomUniformLike
  - Range
  - Tensor
  - Variable
  - Zero
- Owl_symbolic_ops_logical
  - And
  - BitShift
  - Equal
  - EqualTo
  - Greater
  - Less
  - Not
  - Or
  - Xor
- Owl_symbolic_ops_math
  - Abs
  - Acos
  - Acosh
  - Add
  - Asin
  - Asinh
  - Atan
  - Atanh
  - Ceil
  - Clip
  - Cos
  - Cosh
  - CumSum
  - Det
  - Div
  - Elu
  - Erf
  - Exp
  - Expand
  - Floor
  - Gemm
  - HardSigmoid
  - Hardmax
  - LeakyRelu
  - Log
  - LogSoftmax
  - MatMul
  - MatMulInteger
  - Max
  - Mean
  - Min
  - Mod
  - Mul
  - Neg
  - PRelu
  - Pow
  - QLinearMatMul
  - Rational
  - Reciprocal
  - Relu
  - Round
  - Selu
  - Sigmoid
  - Sign
  - Sin
  - Sinh
  - Softmax
  - Softplus
  - Softsign
  - Sqrt
  - Sub
  - Sum
  - Tan
  - Tanh
  - ThresholdedRelu
- Owl_symbolic_ops_nn
- Owl_symbolic_ops_object_detection
  - NonMaxSuppression
  - RoiAlign
- Owl_symbolic_ops_quantization
- Owl_symbolic_ops_reduction
- Owl_symbolic_ops_rnn
  - GRU
  - LSTM
  - RNN
- Owl_symbolic_ops_sequence
- Owl_symbolic_ops_tensor
  - Cast
  - Compress
  - Concat
  - DepthToSpace
  - GatherElements
  - GatherND
  - Identity
  - IsInf
  - IsNaN
  - NonZero
  - OneHot
  - Pad
  - Reshape
  - Resize
  - ReverseSeq
  - ScatterElements
  - ScatterND
  - Shape
  - Size
  - Slice
  - SpaceToDepth
  - Split
  - Squeeze
  - Tile
  - Transpose
  - UnSqueeze
  - Unique
  - Where
- Owl_symbolic_ops_traditionalml
- Owl_symbolic_shape
- Owl_symbolic_specs
- Owl_symbolic_symbol
- Owl_symbolic_types
- Owl_symbolic_utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Optimiser : Owl_computation_optimiser_sig.Sig

Type definition

type graph

TODO

Core functions

val shape_or_value : Optimiser.Operator.Symbol.Shape.Type.t -> string

TODO

val graph_to_dot : graph -> string

TODO

val graph_to_trace : graph -> string

TODO

val save_graph : 'a -> string -> unit

TODO

val load_graph : string -> 'a * 'b

TODO

val collect_rvs : 
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array

TODO

val invalidate_rvs : graph -> unit

TODO

val make_graph : 
  input:Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  output:Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  string ->
  graph

TODO

val get_inputs : 
  graph ->
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array

TODO

val get_outputs : 
  graph ->
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array

TODO

val get_node_arr_val : 
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node ->
  Optimiser.Operator.Symbol.Shape.Type.Device.A.arr

TODO

val get_node_elt_val : 
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node ->
  Optimiser.Operator.Symbol.Shape.Type.Device.A.elt

TODO

val set_node_arr_val : 
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node ->
  Optimiser.Operator.Symbol.Shape.Type.Device.value ->
  unit

TODO

val set_node_elt_val : 
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node ->
  Optimiser.Operator.Symbol.Shape.Type.Device.value ->
  unit

TODO

val is_iopair_safe : 'a Owl_graph.node -> 'a Owl_graph.node -> bool

TODO

val make_iopair : 
  graph ->
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node array ->
  unit

TODO

val update_iopair : graph -> unit

TODO

val remove_unused_iopair : 
  'a Owl_graph.node array ->
  'b array ->
  'a Owl_graph.node array * 'b array

TODO

val init_inputs : 
  (Optimiser.Operator.Symbol.Shape.Type.attr Owl_graph.node ->
    Optimiser.Operator.Symbol.Shape.Type.Device.value) ->
  graph ->
  unit

TODO

val optimise : graph -> unit

TODO