CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
functiont Struct Reference

#include <contracts_wrangler.h>

+ Collaboration diagram for functiont:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /