ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
function_call_cache Member List

This is the complete list of members for function_call_cache, including all inherited members.

clear()function_call_cacheinline
get_math_dispatch_classification(const std::string &key) constfunction_call_cacheinline
get_method_exists(const std::string &key) constfunction_call_cacheinline
get_possible_class_types(const std::string &key) constfunction_call_cacheinline
set_math_dispatch_classification(const std::string &key, bool matches)function_call_cacheinline
set_method_exists(const std::string &key, bool exists)function_call_cacheinline
set_possible_class_types(const std::string &key, const std::vector< std::string > &types)function_call_cacheinline