cprover
link_to_library.h File Reference

Library Linking. More...

#include <util/message.h>
#include "goto_model.h"
Include dependency graph for link_to_library.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void link_to_library (symbol_tablet &, goto_functionst &, message_handlert &)
 
void link_to_library (goto_modelt &, message_handlert &)
 

Detailed Description

Library Linking.

Definition in file link_to_library.h.

Function Documentation

◆ link_to_library() [1/2]

◆ link_to_library() [2/2]