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

#include <ld_ast.h>

Public Attributes

std::string name
std::vector< RungNode > rungs
LdLocation loc

Member Data Documentation

◆ loc

LdLocation NetworkNode::loc

◆ name

std::string NetworkNode::name

◆ rungs

std::vector<RungNode> NetworkNode::rungs

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