Public Member Functions | |
| void | setRefinement (const std::string &name, TypeAndRange mapping) | 
| c10::optional< TypeAndRange > | getRefinement (const std::string &name) const | 
| void | intersectRefinements (const Refinements &other) | 
| void | unionRefinements (const Refinements &other) | 
Data Fields | |
| std::map< std::string, TypeAndRange > | mappings_ | 
Definition at line 37 of file compiler.cpp.
 1.8.11