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

#include <ld_ast.h>

Public Attributes

std::string name
VarKind kind = VarKind::DINT

Member Data Documentation

◆ kind

VarKind FBVarDecl::kind = VarKind::DINT

◆ name

std::string FBVarDecl::name

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