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:

• solvers/smt2/smt2_parser.h