dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
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. | |
Namespace for the ONNX parser of the dlinear library.
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.
|
strong |
Type of node operation.
Definition at line 15 of file NodeOpType.h.
NodeOpType dlinear::onnx::parseNodeOpType | ( | const std::string & | op_type | ) |
Parse a string to a node operation type.
op_type | string to parse |
op_type
Definition at line 109 of file NodeOpType.cpp.