cprover
Loading...
Searching...
No Matches
functiont Struct Reference

#include <contracts_wrangler.h>

Collaboration diagram for functiont:

Public Attributes

std::vector< loop_contracts_clausetloop_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: