cext Member List

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

cause_loop_ids	cext
cext(const std::unordered_map< exprt, mp_integer, irep_hash > &object_sizes, const std::unordered_map< exprt, mp_integer, irep_hash > &havoced_values, const std::unordered_map< exprt, mp_integer, irep_hash > &havoced_pointer_offsets, const std::unordered_map< exprt, mp_integer, irep_hash > &loop_entry_values, const std::unordered_map< exprt, mp_integer, irep_hash > &loop_entry_offsets, const std::set< exprt > &live_variables)	cext	inline
cext(const violation_typet &violation_type)	cext	inlineexplicit
checked_pointer	cext
havoced_pointer_offsets	cext
havoced_values	cext
live_variables	cext
loop_entry_offsets	cext
loop_entry_values	cext
object_sizes	cext
violated_predicate	cext
violation_location	cext
violation_locationt enum name	cext
violation_type	cext
violation_typet enum name	cext