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

#include <ld_ir.h>

Public Attributes

LdIRNodeKind kind
SosRule rule
std::string variable
ContactKind contact_kind = ContactKind::NormallyOpen
ContactEdge contact_edge = ContactEdge::None
CoilKind coil_kind = CoilKind::Output
std::string timer_instance
std::string timer_IN
std::string timer_ET
std::string timer_PT
std::string timer_Q
FBKind timer_kind = FBKind::TON
std::string ctr_instance
std::string ctr_CU
std::string ctr_CD
std::string ctr_R
std::string ctr_LD
std::string ctr_CV
std::string ctr_PV
std::string ctr_Q
FBKind ctr_kind = FBKind::CTU
std::string arith_IN1
std::string arith_IN2
std::string arith_OUT
FBKind arith_kind = FBKind::ADD
LdLocation loc

Member Data Documentation

◆ arith_IN1

std::string LdIRNode::arith_IN1

◆ arith_IN2

std::string LdIRNode::arith_IN2

◆ arith_kind

FBKind LdIRNode::arith_kind = FBKind::ADD

◆ arith_OUT

std::string LdIRNode::arith_OUT

◆ coil_kind

CoilKind LdIRNode::coil_kind = CoilKind::Output

◆ contact_edge

ContactEdge LdIRNode::contact_edge = ContactEdge::None

◆ contact_kind

ContactKind LdIRNode::contact_kind = ContactKind::NormallyOpen

◆ ctr_CD

std::string LdIRNode::ctr_CD

◆ ctr_CU

std::string LdIRNode::ctr_CU

◆ ctr_CV

std::string LdIRNode::ctr_CV

◆ ctr_instance

std::string LdIRNode::ctr_instance

◆ ctr_kind

FBKind LdIRNode::ctr_kind = FBKind::CTU

◆ ctr_LD

std::string LdIRNode::ctr_LD

◆ ctr_PV

std::string LdIRNode::ctr_PV

◆ ctr_Q

std::string LdIRNode::ctr_Q

◆ ctr_R

std::string LdIRNode::ctr_R

◆ kind

LdIRNodeKind LdIRNode::kind

◆ loc

LdLocation LdIRNode::loc

◆ rule

SosRule LdIRNode::rule

◆ timer_ET

std::string LdIRNode::timer_ET

◆ timer_IN

std::string LdIRNode::timer_IN

◆ timer_instance

std::string LdIRNode::timer_instance

◆ timer_kind

FBKind LdIRNode::timer_kind = FBKind::TON

◆ timer_PT

std::string LdIRNode::timer_PT

◆ timer_Q

std::string LdIRNode::timer_Q

◆ variable

std::string LdIRNode::variable

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