- Generated by
1.8.13
|
dReal4
|
This is the complete list of members for Context, including all inherited members.
| Assert(const Formula &f) | Context | |
| assertions() const | Context | |
| box() const | Context | |
| CheckSat() | Context | |
| config() const | Context | |
| Context() | Context | |
| Context(const Context &context)=delete | Context | |
| Context(Context &&context) noexcept | Context | |
| Context(const Config &config) | Context | explicit |
| DeclareVariable(const Variable &v, bool is_model_variable=true) | Context | |
| DeclareVariable(const Variable &v, const Expression &lb, const Expression &ub, bool is_model_variable=true) | Context | |
| Exit() | Context | static |
| get_model() const | Context | |
| GetOption(const std::string &key) const | Context | |
| Maximize(const Expression &f) | Context | |
| Minimize(const Expression &f) | Context | |
| Minimize(const std::vector< Expression > &functions) | Context | |
| mutable_config() | Context | |
| operator=(const Context &)=delete | Context | |
| operator=(Context &&)=delete | Context | |
| Pop(int n) | Context | |
| Push(int n) | Context | |
| SetInfo(const std::string &key, double val) | Context | |
| SetInfo(const std::string &key, const std::string &val) | Context | |
| SetInterval(const Variable &v, double lb, double ub) | Context | |
| SetLogic(const Logic &logic) | Context | |
| SetOption(const std::string &key, double val) | Context | |
| SetOption(const std::string &key, const std::string &val) | Context | |
| version() | Context | static |
| ~Context() | Context |
1.8.13