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