cprover
smt2_parsert::idt Struct Reference

#include <smt2_parser.h>

Collaboration diagram for smt2_parsert::idt:
[legend]

Public Member Functions

 idt ()
 

Public Attributes

typet type
 
exprt definition
 

Detailed Description

Definition at line 33 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ idt()

smt2_parsert::idt::idt ( )
inline

Definition at line 35 of file smt2_parser.h.

Member Data Documentation

◆ definition

exprt smt2_parsert::idt::definition

Definition at line 40 of file smt2_parser.h.

◆ type

typet smt2_parsert::idt::type

Definition at line 39 of file smt2_parser.h.


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