Inter4ql  5.2
Public Member Functions | List of all members
Inter4ql::QuantifierEntry Class Reference

Public Member Functions

 QuantifierEntry (std::string type, std::string id, std::string domain)
 
std::string get_type ()
 
std::string get_id ()
 
std::string get_domain ()
 

The documentation for this class was generated from the following file: