ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
ld_ast.h File Reference
#include <string>
#include <vector>
Include dependency graph for ld_ast.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  LdLocation
struct  ContactNode
struct  CoilNode
struct  FBInputPort
struct  FBOutputPort
struct  TimerFBNode
struct  CounterFBNode
struct  ArithFBNode
struct  RungElement
struct  RungNode
struct  NetworkNode
struct  VarDecl
struct  FBVarDecl
struct  UserFBDef
struct  FBOutWire
struct  FBInWire
struct  UserFBInstance
struct  LdAst

Enumerations

enum class  ContactKind { NormallyOpen , NormallyClosed }
enum class  ContactEdge { None , Rising , Falling }
enum class  CoilKind { Output , Set , Reset }
enum class  FBKind {
  TON , TOF , TP , CTU ,
  CTD , ADD , SUB , MUL ,
  DIV , MOVE
}
enum class  RungElementKind {
  Contact , Coil , TimerFB , CounterFB ,
  ArithFB
}
enum class  VarKind {
  BOOL , INT , DINT , TIME ,
  REAL , LREAL
}

Enumeration Type Documentation

◆ CoilKind

enum class CoilKind
strong
Enumerator
Output 
Set 
Reset 

◆ ContactEdge

enum class ContactEdge
strong
Enumerator
None 
Rising 
Falling 

◆ ContactKind

enum class ContactKind
strong
Enumerator
NormallyOpen 
NormallyClosed 

◆ FBKind

enum class FBKind
strong
Enumerator
TON 
TOF 
TP 
CTU 
CTD 
ADD 
SUB 
MUL 
DIV 
MOVE 

◆ RungElementKind

enum class RungElementKind
strong
Enumerator
Contact 
Coil 
TimerFB 
CounterFB 
ArithFB 

◆ VarKind

enum class VarKind
strong
Enumerator
BOOL 
INT 
DINT 
TIME 
REAL 
LREAL