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

#include <ld_ast.h>

Public Attributes

std::string id
std::vector< RungElement > elements
LdLocation loc

Member Data Documentation

◆ elements

std::vector<RungElement> RungNode::elements

◆ id

std::string RungNode::id

◆ loc

LdLocation RungNode::loc

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