ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
UserFBDef Struct Reference

#include <ld_ast.h>

Public Attributes

std::string type_name
std::vector< FBVarDecl > input_vars
std::vector< FBVarDecl > local_vars
std::vector< FBVarDecl > output_vars
std::string st_body

Member Data Documentation

◆ input_vars

std::vector<FBVarDecl> UserFBDef::input_vars

◆ local_vars

std::vector<FBVarDecl> UserFBDef::local_vars

◆ output_vars

std::vector<FBVarDecl> UserFBDef::output_vars

◆ st_body

std::string UserFBDef::st_body

◆ type_name

std::string UserFBDef::type_name

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