cprover
smt1_convt::identifiert Struct Reference

#include <smt1_conv.h>

Collaboration diagram for smt1_convt::identifiert:
[legend]

Public Member Functions

 identifiert ()
 

Public Attributes

typet type
 
exprt value
 

Detailed Description

Definition at line 143 of file smt1_conv.h.

Constructor & Destructor Documentation

◆ identifiert()

smt1_convt::identifiert::identifiert ( )
inline

Definition at line 148 of file smt1_conv.h.

References irept::make_nil(), type, and value.

Member Data Documentation

◆ type

typet smt1_convt::identifiert::type

Definition at line 145 of file smt1_conv.h.

Referenced by identifiert(), and smt1_convt::set_value().

◆ value

exprt smt1_convt::identifiert::value

Definition at line 146 of file smt1_conv.h.

Referenced by identifiert(), and smt1_convt::set_value().


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