goto_symext::symex_resultt Member List

This is the complete list of members for goto_symext::symex_resultt, including all inherited members.

bounded_loop_truncations	goto_symext::symex_resultt
remaining_claims	goto_symext::symex_resultt
simplified_claims	goto_symext::symex_resultt
symex_resultt(std::shared_ptr< symex_targett > t, unsigned int claims, unsigned int remain, unsigned int simplified, unsigned int truncations=0)	goto_symext::symex_resultt	inline
target	goto_symext::symex_resultt
total_claims	goto_symext::symex_resultt