Context::Impl Member List

This is the complete list of members for Context::Impl, including all inherited members.

Assert(const Formula &f) (defined in Context::Impl)	Context::Impl
assertions() const (defined in Context::Impl)	Context::Impl
box() (defined in Context::Impl)	Context::Impl	inline
CheckSat() (defined in Context::Impl)	Context::Impl
config() const (defined in Context::Impl)	Context::Impl	inline
DeclareVariable(const Variable &v, bool is_model_variable) (defined in Context::Impl)	Context::Impl
get_model() (defined in Context::Impl)	Context::Impl	inline
GetOption(const std::string &key) const (defined in Context::Impl)	Context::Impl
Impl() (defined in Context::Impl)	Context::Impl
Impl(Config config) (defined in Context::Impl)	Context::Impl	explicit
Impl(const Impl &)=delete (defined in Context::Impl)	Context::Impl
Impl(Impl &&)=delete (defined in Context::Impl)	Context::Impl
Minimize(const std::vector< Expression > &functions) (defined in Context::Impl)	Context::Impl
mutable_config() (defined in Context::Impl)	Context::Impl	inline
operator=(const Impl &)=delete (defined in Context::Impl)	Context::Impl
operator=(Impl &&)=delete (defined in Context::Impl)	Context::Impl
Pop() (defined in Context::Impl)	Context::Impl
Push() (defined in Context::Impl)	Context::Impl
SetDomain(const Variable &v, const Expression &lb, const Expression &ub) (defined in Context::Impl)	Context::Impl
SetInfo(const std::string &key, double val) (defined in Context::Impl)	Context::Impl
SetInfo(const std::string &key, const std::string &val) (defined in Context::Impl)	Context::Impl
SetInterval(const Variable &v, double lb, double ub) (defined in Context::Impl)	Context::Impl
SetLogic(const Logic &logic) (defined in Context::Impl)	Context::Impl
SetOption(const std::string &key, double val) (defined in Context::Impl)	Context::Impl
SetOption(const std::string &key, const std::string &val) (defined in Context::Impl)	Context::Impl
~Impl()=default (defined in Context::Impl)	Context::Impl