dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::onnx::OnnxDriver Member List

This is the complete list of members for dlinear::onnx::OnnxDriver, including all inherited members.

AddFormula(const std::string &output)dlinear::onnx::OnnxDriverprivate
AddInitializer(const ::onnx::TensorProto &tensor)dlinear::onnx::OnnxDriverprivate
AddNode(const ::onnx::NodeProto &node)dlinear::onnx::OnnxDriverprivate
AddNode(const ::onnx::NodeProto &node)dlinear::onnx::OnnxDriverprivate
AddNodes()dlinear::onnx::OnnxDriverprivate
AddValueInfo(const ::onnx::ValueInfoProto &value_info, bool is_input=false)dlinear::onnx::OnnxDriverprivate
AddValueInfoTensor(const ::onnx::ValueInfoProto &value_info, bool is_input=false)dlinear::onnx::OnnxDriverprivate
available_inputs() constdlinear::onnx::OnnxDriverinline
available_inputs_dlinear::onnx::OnnxDriverprivate
CheckSat()dlinear::Driver
context() constdlinear::Driverinline
context_dlinear::Driverprotected
debug_parsing_dlinear::Driverprotected
debug_scanning_dlinear::Driverprotected
Driver(Context &context, const std::string &class_name="Driver")dlinear::Driverexplicit
equal_vars_dlinear::onnx::OnnxDriverprivate
Error(const std::string &m)dlinear::Driverstatic
Exit()dlinear::Driverinline
GetAssertions() constdlinear::Driver
GetAttribute(const ::onnx::NodeProto &node, const std::string &name, const std::optional< T > &default_value={}) constdlinear::onnx::OnnxDriverprivate
GetInfo(const std::string &key) constdlinear::Driver
GetModel()dlinear::Driver
GetOption(const std::string &key) constdlinear::Driver
graph() constdlinear::onnx::OnnxDriverinline
m_stream_name()dlinear::Driverinline
Maximize(const Expression &f)dlinear::Driver
Minimize(const Expression &f)dlinear::Driver
model() constdlinear::onnx::OnnxDriverinline
model_dlinear::onnx::OnnxDriverprivate
node_handlersdlinear::onnx::OnnxDriverprivatestatic
OnnxDriver(Context &context)dlinear::onnx::OnnxDriverexplicit
ParseFile(const std::string &filename) overridedlinear::onnx::OnnxDrivervirtual
ParseGraph()dlinear::onnx::OnnxDriverprivate
ParseStream(std::istream &in, const std::string &sname="stream input")dlinear::Driver
ParseStreamCore(std::istream &in) overridedlinear::onnx::OnnxDrivervirtual
ParseString(const std::string &input, const std::string &sname="string stream")dlinear::Driver
Pop(int n)dlinear::Driverinline
Push(int n)dlinear::Driverinline
SetInfo(const std::string &key, const std::string &value)dlinear::Driverinline
SetLogic(const Logic logic)dlinear::Driverinline
SetOption(const std::string &key, const std::string &value)dlinear::Driverinline
stats() constdlinear::Driverinline
stats_dlinear::Driverprotected
stream_name() constdlinear::Driverinline
stream_name_dlinear::Driverprotected
timer_dlinear::Driverprotected
ToEqualVar(const Expression &expression)dlinear::onnx::OnnxDriverprivate
trace_parsing() constdlinear::Driverinline
trace_scanning() constdlinear::Driverinline
variables() constdlinear::onnx::OnnxDriverinline
variables_dlinear::onnx::OnnxDriverprivate