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.