21 if (x.
function() == core::detail::function_symbol_OpId())
31 if (x.
function() == core::detail::function_symbol_DataVarIdNoIndex())
36 else if (x.
function() == core::detail::function_symbol_OpIdNoIndex())
79 stream >> constructors;
80 stream >> user_defined_mappings;
81 stream >> user_defined_equations;
84 spec =
data_specification(sorts, aliases, constructors, user_defined_mappings, user_defined_equations);
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...
A helper class to restore the state of the aterm_{i,o}stream objects upon destruction....
const_iterator end() const
Returns a const_iterator pointing past the last argument.
const_iterator begin() const
Returns an iterator pointing to the first argument.
const function_symbol & function() const
Returns the function symbol belonging to an aterm.
const function_symbol_vector & user_defined_constructors() const
Gets the constructors defined by the user, excluding those that are system defined.
const function_symbol_vector & user_defined_mappings() const
Gets all user defined mappings in this specification.
const data_equation_vector & user_defined_equations() const
Gets all user defined equations.
const core::identifier_string & name() const
const sort_expression & sort() const
const basic_sort_vector & user_defined_sorts() const
Gets all sorts defined by a user (excluding the system defined sorts).
const alias_vector & user_defined_aliases() const
Gets the user defined aliases.
const core::identifier_string & name() const
const sort_expression & sort() const
atermpp::aterm remove_index(const atermpp::aterm &x)
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)
The class data_specification.
Term bottom_up_replace(Term t, ReplaceFunction r)
Replaces each subterm x of t by r(x). The ReplaceFunction r has the following signature: aterm x; ate...
atermpp::aterm data_specification_to_aterm(const data_specification &s)
Namespace for all data library functionality.
std::vector< alias > alias_vector
\brief vector of aliass
std::vector< data_equation > data_equation_vector
\brief vector of data_equations
std::vector< basic_sort > basic_sort_vector
vector of basic sorts
std::vector< function_symbol > function_symbol_vector
\brief vector of function_symbols
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...