cprover
smt2_parsert::named_termt Struct Reference

#include <smt2_parser.h>

+ Collaboration diagram for smt2_parsert::named_termt:

Public Attributes

exprt term
 
symbol_exprt name
 

Detailed Description

Definition at line 46 of file smt2_parser.h.

Member Data Documentation

◆ name

symbol_exprt smt2_parsert::named_termt::name

Definition at line 49 of file smt2_parser.h.

◆ term

exprt smt2_parsert::named_termt::term

Definition at line 48 of file smt2_parser.h.


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