list_mutation.cpp File Reference

#include "python_list_internal.h"
#include <util/lang/c_typecast.h>

Include dependency graph for list_mutation.cpp:

Functions
static exprt	any_element_object (const exprt &key)
static void	reject_tagged_element (const type_handler &th, const exprt &elem)
static const symbolt &	list_model_function (python_converter &converter, const std::string &name)

Function Documentation

any_element_object()

exprt any_element_object ( const exprt & key )

static

list_model_function()

const symbolt & list_model_function ( python_converter & converter, const std::string & name )

static

reject_tagged_element()

void reject_tagged_element ( const type_handler & th, const exprt & elem )

static