This is the complete list of members for goto_trace_providert, including all inherited members.

build_full_trace() const =0	goto_trace_providert	pure virtual
build_shortest_trace() const =0	goto_trace_providert	pure virtual
build_trace(const irep_idt &property_id) const =0	goto_trace_providert	pure virtual
get_namespace() const =0	goto_trace_providert	pure virtual
~goto_trace_providert()=default	goto_trace_providert	virtual