cprover
smt2_parsert::idt Struct Reference

#include <smt2_parser.h>

+ Collaboration diagram for smt2_parsert::idt:

Public Member Functions

 idt ()
 

Public Attributes

typet type
 
exprt definition
 
std::vector< irep_idtparameters
 

Detailed Description

Definition at line 32 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ idt()

smt2_parsert::idt::idt ( )
inline

Definition at line 34 of file smt2_parser.h.

Member Data Documentation

◆ definition

exprt smt2_parsert::idt::definition

Definition at line 39 of file smt2_parser.h.

◆ parameters

std::vector<irep_idt> smt2_parsert::idt::parameters

Definition at line 40 of file smt2_parser.h.

◆ type

typet smt2_parsert::idt::type

Definition at line 38 of file smt2_parser.h.


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