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

#include <ld_ast.h>

Public Attributes

std::string name
VarKind kind = VarKind::BOOL
bool is_input = false
bool is_output = false
bool shared = false
bool synthesized
std::string derived_type
long long init_value = 0
LdLocation loc

Member Data Documentation

◆ derived_type

std::string VarDecl::derived_type

◆ init_value

long long VarDecl::init_value = 0

◆ is_input

bool VarDecl::is_input = false

◆ is_output

bool VarDecl::is_output = false

◆ kind

VarKind VarDecl::kind = VarKind::BOOL

◆ loc

LdLocation VarDecl::loc

◆ name

std::string VarDecl::name

◆ shared

bool VarDecl::shared = false

◆ synthesized

bool VarDecl::synthesized
Initial value:
=
false

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