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

#include <ld_ast.h>

Public Attributes

FBKind kind = FBKind::CTU
std::string instance_name
std::string CU_var
std::string CD_var
std::string R_var
std::string LD_var
std::string PV_var
std::string Q_var
std::string CV_var
LdLocation loc

Member Data Documentation

◆ CD_var

std::string CounterFBNode::CD_var

◆ CU_var

std::string CounterFBNode::CU_var

◆ CV_var

std::string CounterFBNode::CV_var

◆ instance_name

std::string CounterFBNode::instance_name

◆ kind

FBKind CounterFBNode::kind = FBKind::CTU

◆ LD_var

std::string CounterFBNode::LD_var

◆ loc

LdLocation CounterFBNode::loc

◆ PV_var

std::string CounterFBNode::PV_var

◆ Q_var

std::string CounterFBNode::Q_var

◆ R_var

std::string CounterFBNode::R_var

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