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

#include <ld_ast.h>

Public Attributes

FBKind kind = FBKind::TON
std::string instance_name
std::string IN_var
std::string PT_var
std::string Q_var
std::string ET_var
LdLocation loc

Member Data Documentation

◆ ET_var

std::string TimerFBNode::ET_var

◆ IN_var

std::string TimerFBNode::IN_var

◆ instance_name

std::string TimerFBNode::instance_name

◆ kind

FBKind TimerFBNode::kind = FBKind::TON

◆ loc

LdLocation TimerFBNode::loc

◆ PT_var

std::string TimerFBNode::PT_var

◆ Q_var

std::string TimerFBNode::Q_var

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