functiont Struct Reference

#include <contracts_wrangler.h>

Collaboration diagram for functiont:

Public Attributes
std::vector< loop_contracts_clauset >	loop_contracts
std::string	regex_str

Detailed Description

Definition at line 52 of file contracts_wrangler.h.

Member Data Documentation

loop_contracts

std::vector<loop_contracts_clauset> functiont::loop_contracts

Definition at line 54 of file contracts_wrangler.h.

regex_str

std::string functiont::regex_str

Definition at line 55 of file contracts_wrangler.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/contracts_wrangler.h