This is the complete list of members for smt2_parsert::named_termt, including all inherited members.

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