dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::onnx Namespace Reference

Namespace for the ONNX parser of the dlinear library. More...

Classes

class  OnnxDriver
 The OnnxDriver class reads the onnx file. More...
 
class  Tensor
 

Enumerations

enum class  NodeOpType {
  Abs , Add , AveragePool , BatchNormalization ,
  Concat , Constant , Conv , Dropout ,
  Flatten , Gather , Gemm , GlobalAveragePool ,
  Identity , LeakyRelu , LRN , MatMul ,
  MaxPool , Mul , Relu , Reshape ,
  Sigmoid , Sign , Slice , Softmax ,
  Squeeze , Sub , Transpose , Unsqueeze
}
 Type of node operation. More...
 

Functions

NodeOpType parseNodeOpType (const std::string &op_type)
 Parse a string to a node operation type.
 

Detailed Description

Namespace for the ONNX parser of the dlinear library.

Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License
Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License Driver form the parsing and execution of onnx files.

The drivers reads the onnx file and uses the information in it to update the context by running all the nodes from the input to the output of the graph.

Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License Type of node operation.
Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License ONNX parser for the dlinear library.
Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)
Licence:
BSD 3-Clause License Tensor class.

Enumeration Type Documentation

◆ NodeOpType

enum class dlinear::onnx::NodeOpType
strong

Type of node operation.

Enumerator
Abs 

Absolute value.

Add 

Addition.

AveragePool 

Average pooling.

BatchNormalization 

Batch normalization.

Concat 

Concatenation.

Constant 

Constant.

Conv 

Convolution.

Dropout 

Dropout.

Flatten 

Flatten.

Gather 

Gather.

Gemm 

General matrix multiplication.

GlobalAveragePool 

Global average pooling.

Identity 

Identity.

LeakyRelu 

Leaky ReLU.

LRN 

Local response normalization.

MatMul 

Matrix multiplication.

MaxPool 

Max pooling.

Mul 

Multiplication.

Relu 

ReLU.

Reshape 

Reshape.

Sigmoid 

Sigmoid.

Sign 

Sign.

Slice 

Slice.

Softmax 

Softmax.

Squeeze 

Squeeze.

Sub 

Subtraction.

Transpose 

Transpose.

Unsqueeze 

Unsqueeze.

Definition at line 15 of file NodeOpType.h.

Function Documentation

◆ parseNodeOpType()

NodeOpType dlinear::onnx::parseNodeOpType ( const std::string & op_type)

Parse a string to a node operation type.

Parameters
op_typestring to parse
Returns
node operation type parsed from op_type

Definition at line 109 of file NodeOpType.cpp.