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

#include <ld_ast.h>

Public Attributes

FBKind kind = FBKind::ADD
std::string instance_name
std::string IN1_var
std::string IN2_var
std::string OUT_var
LdLocation loc

Member Data Documentation

◆ IN1_var

std::string ArithFBNode::IN1_var

◆ IN2_var

std::string ArithFBNode::IN2_var

◆ instance_name

std::string ArithFBNode::instance_name

◆ kind

FBKind ArithFBNode::kind = FBKind::ADD

◆ loc

LdLocation ArithFBNode::loc

◆ OUT_var

std::string ArithFBNode::OUT_var

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