cvc_convt::identifiert Struct Reference

#include <cvc_conv.h>

Collaboration diagram for cvc_convt::identifiert:

Public Member Functions
	identifiert ()

Public Attributes
typet	type
exprt	value

Detailed Description

Definition at line 46 of file cvc_conv.h.

Constructor & Destructor Documentation

identifiert()

cvc_convt::identifiert::identifiert ( )

inline

Definition at line 51 of file cvc_conv.h.

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

Member Data Documentation

type

typet cvc_convt::identifiert::type

Definition at line 48 of file cvc_conv.h.

Referenced by identifiert().

value

exprt cvc_convt::identifiert::value

Definition at line 49 of file cvc_conv.h.

Referenced by identifiert().

---

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

• solvers/cvc/cvc_conv.h