CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
smt2_parsert::idt Struct Reference

#include <smt2_parser.h>

+ Collaboration diagram for smt2_parsert::idt:

Public Types

using kindt = enum { VARIABLE, BINDING, PARAMETER }
 

Public Member Functions

 idt (kindt _kind, const exprt &expr)
 
 idt (kindt _kind, typet __type)
 

Public Attributes

kindt kind
 
typet type
 
exprt definition
 

Detailed Description

Definition at line 36 of file smt2_parser.h.

Member Typedef Documentation

◆ kindt

using smt2_parsert::idt::kindt = enum { VARIABLE, BINDING, PARAMETER }

Definition at line 38 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ idt() [1/2]

smt2_parsert::idt::idt ( kindt  _kind,
const exprt &  expr 
)
inline

Definition at line 40 of file smt2_parser.h.

◆ idt() [2/2]

smt2_parsert::idt::idt ( kindt  _kind,
typet  __type 
)
inline

Definition at line 45 of file smt2_parser.h.

Member Data Documentation

◆ definition

exprt smt2_parsert::idt::definition

Definition at line 54 of file smt2_parser.h.

◆ kind

kindt smt2_parsert::idt::kind

Definition at line 50 of file smt2_parser.h.

◆ type

typet smt2_parsert::idt::type

Definition at line 51 of file smt2_parser.h.

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