data_io.cpp File Reference

Go to the source code of this file.

Functions
static atermpp::aterm	remove_index_impl (const atermpp::aterm &x)
static atermpp::aterm	add_index_impl (const atermpp::aterm &x)
atermpp::aterm	add_index (const atermpp::aterm &x)
atermpp::aterm	remove_index (const atermpp::aterm &x)

Function Documentation

add_index()

atermpp::aterm add_index ( const atermpp::aterm &  x )

inline

Definition at line 55 of file data_io.cpp.

add_index_impl()

static atermpp::aterm add_index_impl ( const atermpp::aterm &  x )

static

Definition at line 29 of file data_io.cpp.

remove_index()

atermpp::aterm remove_index ( const atermpp::aterm &  x )

inline

Definition at line 61 of file data_io.cpp.

remove_index_impl()

static atermpp::aterm remove_index_impl ( const atermpp::aterm &  x )

static

Definition at line 19 of file data_io.cpp.