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

#include <plcopen_xml_parser.h>

Inheritance diagram for UnsupportedConstructError:
[legend]

Public Member Functions

 UnsupportedConstructError (const std::string &name, int t)

Public Attributes

std::string construct
int tier

Constructor & Destructor Documentation

◆ UnsupportedConstructError()

UnsupportedConstructError::UnsupportedConstructError ( const std::string & name,
int t )
inline

Member Data Documentation

◆ construct

std::string UnsupportedConstructError::construct

◆ tier

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