Inter4ql
5.2
Inter4ql
QuantifierEntry
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:
/home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/
Constraints.h
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13