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

#include <smt2_parser.h>

+ Collaboration diagram for smt2_parsert::named_termt:

Public Member Functions

 named_termt (const exprt &_term, const symbol_exprt &_name)
 Default-constructing a symbol_exprt is deprecated, thus make sure we always construct a named_termt from an initialized _name. More...
 

Public Attributes

exprt term
 
symbol_exprt name
 

Detailed Description

Definition at line 60 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ named_termt()

smt2_parsert::named_termt::named_termt ( const exprt &  _term,
const symbol_exprt &  _name 
)
inline

Default-constructing a symbol_exprt is deprecated, thus make sure we always construct a named_termt from an initialized _name.

Definition at line 64 of file smt2_parser.h.

Member Data Documentation

◆ name

symbol_exprt smt2_parsert::named_termt::name

Definition at line 70 of file smt2_parser.h.

◆ term

exprt smt2_parsert::named_termt::term

Definition at line 69 of file smt2_parser.h.

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