cprover
builtin_factory.h File Reference
#include <util/symbol_table.h>
#include <util/message.h>
Include dependency graph for builtin_factory.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool builtin_factory (const irep_idt &identifier, symbol_tablet &, message_handlert &)
 Check whether given identifier is a compiler built-in. More...
 

Function Documentation

◆ builtin_factory()