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

lower_java_new(const irep_idt &function_identifier, goto_programt &, message_handlert &)	remove_java_newt
lower_java_new(const irep_idt &function_identifier, goto_programt &, goto_programt::targett, message_handlert &)	remove_java_newt
lower_java_new(const irep_idt &function_identifier, const exprt &lhs, const side_effect_exprt &rhs, goto_programt &, goto_programt::targett)	remove_java_newt	protected
lower_java_new_array(const irep_idt &function_identifier, const exprt &lhs, const side_effect_exprt &rhs, goto_programt &, goto_programt::targett, message_handlert &)	remove_java_newt	protected
ns	remove_java_newt	protected
remove_java_newt(symbol_table_baset &symbol_table)	remove_java_newt	inlineexplicit
symbol_table	remove_java_newt	protected