cprover
goto_program_templatet< codeT, guardT > Member List

This is the complete list of members for goto_program_templatet< codeT, guardT >, including all inherited members.

add_instruction()goto_program_templatet< codeT, guardT >inline
add_instruction(goto_program_instruction_typet type)goto_program_templatet< codeT, guardT >inline
clear()goto_program_templatet< codeT, guardT >inline
compute_incoming_edges()goto_program_templatet< codeT, guardT >
compute_location_numbers(unsigned &nr)goto_program_templatet< codeT, guardT >inline
compute_location_numbers()goto_program_templatet< codeT, guardT >inline
compute_loop_numbers()goto_program_templatet< codeT, guardT >
compute_target_numbers()goto_program_templatet< codeT, guardT >
const_cast_target(const_targett t)goto_program_templatet< codeT, guardT >inline
const_cast_target(const_targett t) constgoto_program_templatet< codeT, guardT >inline
const_targetst typedefgoto_program_templatet< codeT, guardT >
const_targett typedefgoto_program_templatet< codeT, guardT >
copy_from(const goto_program_templatet< codeT, guardT > &src)goto_program_templatet< codeT, guardT >
destructive_append(goto_program_templatet< codeT, guardT > &p)goto_program_templatet< codeT, guardT >inline
destructive_insert(const_targett target, goto_program_templatet< codeT, guardT > &p)goto_program_templatet< codeT, guardT >inline
empty() constgoto_program_templatet< codeT, guardT >inline
get_end_function()goto_program_templatet< codeT, guardT >inline
get_function_id(const_targett l)goto_program_templatet< codeT, guardT >inlinestatic
get_function_id(const goto_program_templatet< codeT, guardT > &p)goto_program_templatet< codeT, guardT >inlinestatic
get_successors(Target target) constgoto_program_templatet< codeT, guardT >
goto_program_templatet(const goto_program_templatet &)=deletegoto_program_templatet< codeT, guardT >
goto_program_templatet(goto_program_templatet &&other)goto_program_templatet< codeT, guardT >inline
goto_program_templatet()goto_program_templatet< codeT, guardT >inline
has_assertion() constgoto_program_templatet< codeT, guardT >
insert_after(const_targett target)goto_program_templatet< codeT, guardT >inline
insert_before(const_targett target)goto_program_templatet< codeT, guardT >inline
insert_before_swap(targett target)goto_program_templatet< codeT, guardT >inline
insert_before_swap(targett target, instructiont &instruction)goto_program_templatet< codeT, guardT >inline
insert_before_swap(targett target, goto_program_templatet< codeT, guardT > &p)goto_program_templatet< codeT, guardT >inline
instructionsgoto_program_templatet< codeT, guardT >
instructionst typedefgoto_program_templatet< codeT, guardT >
loop_id(const_targett target)goto_program_templatet< codeT, guardT >inlinestatic
operator=(const goto_program_templatet &)=deletegoto_program_templatet< codeT, guardT >
operator=(goto_program_templatet &&other)goto_program_templatet< codeT, guardT >inline
output(const namespacet &ns, const irep_idt &identifier, std::ostream &out) constgoto_program_templatet< codeT, guardT >
output(std::ostream &out) constgoto_program_templatet< codeT, guardT >inline
output_instruction(const namespacet &ns, const irep_idt &identifier, std::ostream &out, typename instructionst::const_iterator it) const =0goto_program_templatet< codeT, guardT >pure virtual
swap(goto_program_templatet< codeT, guardT > &program)goto_program_templatet< codeT, guardT >inline
targetst typedefgoto_program_templatet< codeT, guardT >
targett typedefgoto_program_templatet< codeT, guardT >
update()goto_program_templatet< codeT, guardT >
~goto_program_templatet()goto_program_templatet< codeT, guardT >inlinevirtual