functionst::function_infot Struct Reference

#include <functions.h>

Collaboration diagram for functionst::function_infot:

Public Attributes
applicationst	applications

Detailed Description

Definition at line 46 of file functions.h.

Member Data Documentation

applications

applicationst functionst::function_infot::applications

Definition at line 48 of file functions.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/solvers/lowering/functions.h