dReal4
Public Member Functions | List of all members
Context::Impl Class Reference

Public Member Functions

 Impl (Config config)
 
 Impl (const Impl &)=delete
 
 Impl (Impl &&)=delete
 
Impl & operator= (const Impl &)=delete
 
Impl & operator= (Impl &&)=delete
 
void Assert (const Formula &f)
 
optional< Box > CheckSat ()
 
void DeclareVariable (const Variable &v, bool is_model_variable)
 
void SetDomain (const Variable &v, const Expression &lb, const Expression &ub)
 
void Minimize (const std::vector< Expression > &functions)
 
void Pop ()
 
void Push ()
 
void SetInfo (const std::string &key, double val)
 
void SetInfo (const std::string &key, const std::string &val)
 
void SetInterval (const Variable &v, double lb, double ub)
 
void SetLogic (const Logic &logic)
 
void SetOption (const std::string &key, double val)
 
void SetOption (const std::string &key, const std::string &val)
 
optional< std::string > GetOption (const std::string &key) const
 
const Config & config () const
 
Config & mutable_config ()
 
const ScopedVector< Formula > & assertions () const
 
Box & box ()
 
const Box & get_model ()
 
The documentation for this class was generated from the following files: