cprover
functionst::function_infot Struct Reference

#include <functions.h>

Collaboration diagram for functionst::function_infot:
[legend]

Public Attributes

applicationst applications
 

Detailed Description

Definition at line 44 of file functions.h.

Member Data Documentation

◆ applications

applicationst functionst::function_infot::applications

Definition at line 46 of file functions.h.

Referenced by functionst::add_function_constraints().


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