owl-symbolic 0.2.0 · OCaml Package

On This Page

Core functions

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 Type : Owl_computation_type_sig.Sig

Core functions

val infer_shape : 
  Type.op ->
  Type.attr Owl_graph.node array ->
  int array option array

TODO