mcrl2/data/data_io.h

Include file:

#include "mcrl2/data/data_io.h"

Functions

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

Transforms DataVarId to DataVarIdNoIndex and transforms OpId to OpIdNoIndex.

atermpp::aterm_ostream &operator<<(atermpp::aterm_ostream &stream, const data_specification &spec)

Writes the data specification to a stream.

atermpp::aterm_istream &operator>>(atermpp::aterm_istream &stream, data_specification &spec)

Reads a data specification from a stream.

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

Transforms DataVarIdNoIndex to DataVarId and transforms OpIdNoIndex to OpId.

Functions

atermpp::aterm_appl data_specification_to_aterm(const data_specification &s)

Returns: A term that represetns this data_specification.