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

#include <ld_ir.h>

Public Attributes

std::string type_name
std::string instance_name
std::vector< FBVarDecl > input_vars
std::vector< FBVarDecl > local_vars
std::vector< FBVarDecl > output_vars
std::vector< FBInWire > in_wires
std::vector< FBOutWire > out_wires
std::string st_body

Member Data Documentation

◆ in_wires

std::vector<FBInWire> UserFBExec::in_wires

◆ input_vars

std::vector<FBVarDecl> UserFBExec::input_vars

◆ instance_name

std::string UserFBExec::instance_name

◆ local_vars

std::vector<FBVarDecl> UserFBExec::local_vars

◆ out_wires

std::vector<FBOutWire> UserFBExec::out_wires

◆ output_vars

std::vector<FBVarDecl> UserFBExec::output_vars

◆ st_body

std::string UserFBExec::st_body

◆ type_name

std::string UserFBExec::type_name
The documentation for this struct was generated from the following file: