10#ifndef MCRL2_DATA_IO_H
11#define MCRL2_DATA_IO_H
19class data_specification;
The interface for a class that reads aterm from a stream. The default constructed term aterm() indica...
The interface for a class that writes aterm to a stream. Every written term is retrieved by the corre...
atermpp::aterm data_specification_to_aterm(const data_specification &s)
Namespace for all data library functionality.
atermpp::aterm remove_index(const atermpp::aterm &x)
Transforms DataVarIdNoIndex to DataVarId and transforms OpIdNoIndex to OpId.
atermpp::aterm_istream & operator>>(atermpp::aterm_istream &stream, data_specification &spec)
Reads a data specification from a stream.
atermpp::aterm add_index(const atermpp::aterm &x)
Transforms DataVarId to DataVarIdNoIndex and transforms OpId to OpIdNoIndex.
std::ostream & operator<<(std::ostream &out, const abstraction &x)