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

#include <ld_ast.h>

Public Attributes

CoilKind kind = CoilKind::Output
std::string variable
LdLocation loc

Member Data Documentation

◆ kind

CoilKind CoilNode::kind = CoilKind::Output

◆ loc

LdLocation CoilNode::loc

◆ variable

std::string CoilNode::variable

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