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

#include <ld_ast.h>

Public Attributes

std::string type_name
std::string instance_name
std::string block_id
std::vector< FBInWire > in_wires
std::vector< FBOutWire > out_wires
LdLocation loc

Member Data Documentation

◆ block_id

std::string UserFBInstance::block_id

◆ in_wires

std::vector<FBInWire> UserFBInstance::in_wires

◆ instance_name

std::string UserFBInstance::instance_name

◆ loc

LdLocation UserFBInstance::loc

◆ out_wires

std::vector<FBOutWire> UserFBInstance::out_wires

◆ type_name

std::string UserFBInstance::type_name

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