예제 #1
0
 inline static bool has_dereference(const exprt &src)
 {
   return has_subexpr(src, ID_dereference);
 }
예제 #2
0
bool value_set_dereferencet::has_dereference(const exprt &expr)
{
  return has_subexpr(expr, ID_dereference);
}