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

classify_assigns_targets(const std::vector< expr2tc > &explicit_assigns)	frame_enforcert	static
collect_global_variables(const contextt &context)	frame_enforcert	static
enforce_frame_rule(const std::vector< expr2tc > &explicit_assigns, goto_programt &dest, const locationt &loc, frame_modet mode=frame_modet::ASSUME)	frame_enforcert
frame_enforcert(contextt &_context)	frame_enforcert
get_active_snapshots() const	frame_enforcert	inline
in_pre_state(const expr2tc &expr) const	frame_enforcert
materialize_snapshots(const std::vector< expr2tc > &vars_to_snapshot, goto_programt &dest, const locationt &loc, const std::string &scope_prefix)	frame_enforcert
patch_old_snapshot_assigns(goto_programt &prog) const	frame_enforcert
replace_old_with_snapshots(const expr2tc &expr) const	frame_enforcert