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

#include <ld_ast.h>

Public Attributes

std::string source_file
std::vector< VarDecl > variables
std::vector< NetworkNode > networks
std::vector< UserFBDef > user_fb_defs
std::vector< UserFBInstance > user_fb_instances
bool has_interrupt_tasks = false

Member Data Documentation

◆ has_interrupt_tasks

bool LdAst::has_interrupt_tasks = false

◆ networks

std::vector<NetworkNode> LdAst::networks

◆ source_file

std::string LdAst::source_file

◆ user_fb_defs

std::vector<UserFBDef> LdAst::user_fb_defs

◆ user_fb_instances

std::vector<UserFBInstance> LdAst::user_fb_instances

◆ variables

std::vector<VarDecl> LdAst::variables

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