iceberg::Term Member List

This is the complete list of members for iceberg::Term, including all inherited members.

is_unbound() const =0	iceberg::Term	pure virtual
Kind enum name (defined in iceberg::Term)	iceberg::Term
kind() const =0	iceberg::Term	pure virtual
ToString() const =0	iceberg::util::Formattable	pure virtual
~Formattable()=default (defined in iceberg::util::Formattable)	iceberg::util::Formattable	virtual