cprover
field_sensitivityt Member List

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

apply(const namespacet &ns, goto_symex_statet &state, exprt expr, bool write) constfield_sensitivityt
field_assignments(const namespacet &ns, goto_symex_statet &state, const ssa_exprt &lhs, symex_targett &target, bool allow_pointer_unsoundness)field_sensitivityt
field_assignments_rec(const namespacet &ns, goto_symex_statet &state, const exprt &lhs_fs, const exprt &lhs, symex_targett &target, bool allow_pointer_unsoundness)field_sensitivitytprivate
field_sensitivityt(std::size_t max_array_size)field_sensitivitytinlineexplicit
get_fields(const namespacet &ns, goto_symex_statet &state, const ssa_exprt &ssa_expr) constfield_sensitivityt
is_divisible(const ssa_exprt &expr) constfield_sensitivityt
max_field_sensitivity_array_sizefield_sensitivitytprivate
run_applyfield_sensitivitytprivate