|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for function_call_cache, including all inherited members.
| clear() | function_call_cache | inline |
| get_math_dispatch_classification(const std::string &key) const | function_call_cache | inline |
| get_method_exists(const std::string &key) const | function_call_cache | inline |
| get_possible_class_types(const std::string &key) const | function_call_cache | inline |
| set_math_dispatch_classification(const std::string &key, bool matches) | function_call_cache | inline |
| set_method_exists(const std::string &key, bool exists) | function_call_cache | inline |
| set_possible_class_types(const std::string &key, const std::vector< std::string > &types) | function_call_cache | inline |