data_io.h File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
atermpp::aterm	mcrl2::data::detail::data_specification_to_aterm (const data_specification &s)
atermpp::aterm	mcrl2::data::add_index (const atermpp::aterm &x)
	Transforms DataVarId to DataVarIdNoIndex and transforms OpId to OpIdNoIndex.
atermpp::aterm	mcrl2::data::remove_index (const atermpp::aterm &x)
	Transforms DataVarIdNoIndex to DataVarId and transforms OpIdNoIndex to OpId.
atermpp::aterm_istream &	mcrl2::data::operator>> (atermpp::aterm_istream &stream, data_specification &spec)
	Reads a data specification from a stream.
atermpp::aterm_ostream &	mcrl2::data::operator<< (atermpp::aterm_ostream &stream, const data_specification &spec)
	Writes the data specification to a stream.