dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
libonnx.h
1
7#pragma once
8
9#include <istream>
10
11#pragma GCC system_header
12
13#include "onnx/onnx-data.pb.h"
14#include "onnx/onnx-ml.pb.h"
15#include "onnx/onnx-operators-ml.pb.h"
16
17namespace dlinear {
18
19std::ostream &operator<<(std::ostream &os, const onnx::ModelProto &model);
20std::ostream &operator<<(std::ostream &os, const onnx::GraphProto &graph);
21std::ostream &operator<<(std::ostream &os, const onnx::NodeProto &node);
22std::ostream &operator<<(std::ostream &os, const onnx::AttributeProto &attribute);
23std::ostream &operator<<(std::ostream &os, const onnx::ValueInfoProto &value_info);
24
25std::ostream &operator<<(std::ostream &os, const onnx::SparseTensorProto &tensor);
26std::ostream &operator<<(std::ostream &os, const onnx::TensorProto &tensor);
27std::ostream &operator<<(std::ostream &os, const onnx::TensorProto_Segment &tensor_segment);
28
29std::ostream &operator<<(std::ostream &os, const onnx::TypeProto &type);
30std::ostream &operator<<(std::ostream &os, const onnx::TypeProto_Map &type_map);
31std::ostream &operator<<(std::ostream &os, const onnx::TypeProto_Tensor &type_tensor);
32std::ostream &operator<<(std::ostream &os, const onnx::TypeProto_Opaque &type_opaque);
33std::ostream &operator<<(std::ostream &os, const onnx::TypeProto_Sequence &type_sequence);
34
35std::ostream &operator<<(std::ostream &os, const onnx::TensorShapeProto &tensor_shape);
36std::ostream &operator<<(std::ostream &os, const onnx::TensorShapeProto_Dimension &tensor_shape_dim);
37
38std::ostream &operator<<(std::ostream &os, const google::protobuf::RepeatedField<int64_t> &int64s);
39
40std::ostream &operator<<(std::ostream &os, const google::protobuf::RepeatedPtrField<onnx::ValueInfoProto> &value_infos);
41std::ostream &operator<<(std::ostream &os, const google::protobuf::RepeatedPtrField<onnx::TensorProto> &tensors);
42
43} // namespace dlinear
Global namespace for the dlinear library.