22namespace regular_formulas
220 const nu nu_part(part);
226 const mu mu_part(part);
Term containing a string.
Identifier generator that generates names from the range X, Y, Z, X0, Y0, Z0, X1, ....
Namespace for all data library functionality.
bool is_data_expression(const atermpp::aterm &x)
Test for a data_expression expression.
atermpp::term_list< data_expression > data_expression_list
\brief list of data_expressions
bool is_assignment(const atermpp::aterm &x)
atermpp::term_list< assignment > assignment_list
\brief list of assignments
bool is_multi_action(const atermpp::aterm &x)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Class that generates identifiers in the range X, Y, Z, X0, Y0, Z0, X1, ...