Reference

Classes

• mcrl2::data::abstraction
• mcrl2::data::alias
• mcrl2::data::application
• mcrl2::data::assignment
• mcrl2::data::assignment_expression
• mcrl2::data::bag_comprehension
• mcrl2::data::bag_comprehension_binder
• mcrl2::data::bag_container
• mcrl2::data::basic_rewriter
• mcrl2::data::basic_sort
• mcrl2::data::binder_type
• mcrl2::data::container_sort
• mcrl2::data::container_type
• mcrl2::data::data_equation
• mcrl2::data::data_expression
• mcrl2::data::data_specification
• mcrl2::data::data_type_checker
• mcrl2::data::default_expression_generator
• mcrl2::data::detail::inequality_consistency_cache
• mcrl2::data::detail::inequality_inconsistency_cache
• mcrl2::data::detail::inequality_inconsistency_cache_base
• mcrl2::data::detail::lhs_t
• mcrl2::data::detail::one_point_rule_rewrite_builder
• mcrl2::data::detail::prepend_iterator_tag_convertor
• mcrl2::data::detail::prepend_iterator_tag_convertor< std::input_iterator_tag >
• mcrl2::data::detail::simplify_rewrite_builder
• mcrl2::data::detail::skip_function_application_to_head
• mcrl2::data::detail::skip_function_application_to_head_assignment
• mcrl2::data::detail::substitution_updater_with_an_identifier_generator
• mcrl2::data::detail::term_appl_prepend_iterator
• mcrl2::data::detail::translate_user_notation_builder
• mcrl2::data::detail::variable_with_a_rational_factor
• mcrl2::data::enumerator_algorithm
• mcrl2::data::enumerator_algorithm_with_iterator
• mcrl2::data::enumerator_algorithm_with_iterator::iterator
• mcrl2::data::enumerator_algorithm_without_callback
• mcrl2::data::enumerator_list_element
• mcrl2::data::enumerator_list_element_with_substitution
• mcrl2::data::enumerator_queue
• mcrl2::data::exists
• mcrl2::data::exists_binder
• mcrl2::data::fbag_container
• mcrl2::data::finiteness_helper
• mcrl2::data::forall
• mcrl2::data::forall_binder
• mcrl2::data::fset_container
• mcrl2::data::function_sort
• mcrl2::data::function_symbol
• mcrl2::data::identifier_generator
• mcrl2::data::lambda
• mcrl2::data::lambda_binder
• mcrl2::data::linear_inequality
• mcrl2::data::list_container
• mcrl2::data::maintain_variables_in_rhs
• mcrl2::data::maintain_variables_in_rhs::assignment
• mcrl2::data::multiset_identifier_generator
• mcrl2::data::mutable_indexed_substitution
• mcrl2::data::mutable_map_substitution
• mcrl2::data::mutable_substitution_composer
• mcrl2::data::mutable_substitution_composer< mutable_indexed_substitution< VariableType, ExpressionSequence > >
• mcrl2::data::mutable_substitution_composer< mutable_map_substitution< AssociativeContainer > >
• mcrl2::data::representative_generator
• mcrl2::data::rewriter
• mcrl2::data::set_comprehension
• mcrl2::data::set_comprehension_binder
• mcrl2::data::set_container
• mcrl2::data::set_identifier_generator
• mcrl2::data::sort_expression
• mcrl2::data::sort_specification
• mcrl2::data::sort_type_checker
• mcrl2::data::structured_sort
• mcrl2::data::structured_sort_constructor
• mcrl2::data::structured_sort_constructor_argument
• mcrl2::data::tools::prover_tool
• mcrl2::data::tools::rewriter_tool
• mcrl2::data::type_checker
• mcrl2::data::untyped_data_parameter
• mcrl2::data::untyped_identifier
• mcrl2::data::untyped_identifier_assignment
• mcrl2::data::untyped_possible_sorts
• mcrl2::data::untyped_set_or_bag_comprehension
• mcrl2::data::untyped_set_or_bag_comprehension_binder
• mcrl2::data::untyped_sort
• mcrl2::data::untyped_sort_variable
• mcrl2::data::used_data_equation_selector
• mcrl2::data::variable
• mcrl2::data::where_clause
• mcrl2::data::xyz_identifier_generator

Files

• mcrl2/data/abstraction.h
• mcrl2/data/add_binding.h
• mcrl2/data/alias.h
• mcrl2/data/anonymize.h
• mcrl2/data/application.h
• mcrl2/data/assignment.h
• mcrl2/data/substitutions/assignment_sequence_substitution.h
• mcrl2/data/bag.h
• mcrl2/data/bag_comprehension.h
• mcrl2/data/basic_sort.h
• mcrl2/data/binder_type.h
• mcrl2/data/bool.h
• mcrl2/data/builder.h
• mcrl2/data/consistency.h
• mcrl2/data/container_sort.h
• mcrl2/data/container_type.h
• mcrl2/data/data.h
• mcrl2/data/data_equation.h
• mcrl2/data/data_expression.h
• mcrl2/data/substitutions/data_expression_assignment.h
• mcrl2/data/data_io.h
• mcrl2/data/rewriters/data_rewriter.h
• mcrl2/data/data_specification.h
• mcrl2/data/default_expression_generator.h
• mcrl2/data/enumerator.h
• mcrl2/data/substitutions/enumerator_substitution.h
• mcrl2/data/enumerator_with_iterator.h
• mcrl2/data/equality_one_point_substitution.h
• mcrl2/data/exists.h
• mcrl2/data/expression_traits.h
• mcrl2/data/fbag.h
• mcrl2/data/find.h
• mcrl2/data/find_equalities.h
• mcrl2/data/forall.h
• mcrl2/data/fourier_motzkin.h
• mcrl2/data/fset.h
• mcrl2/data/function_sort.h
• mcrl2/data/function_symbol.h
• mcrl2/data/function_update.h
• mcrl2/data/identifier_generator.h
• mcrl2/data/rewriters/if_rewriter.h
• mcrl2/data/index_traits.h
• mcrl2/data/int.h
• mcrl2/data/is_simple_substitution.h
• mcrl2/data/is_sub_sort.h
• mcrl2/data/join.h
• mcrl2/data/lambda.h
• mcrl2/data/linear_inequalities.h
• mcrl2/data/list.h
• mcrl2/data/substitutions/maintain_variables_in_rhs.h
• mcrl2/data/substitutions/map_substitution.h
• mcrl2/data/merge_data_specifications.h
• mcrl2/data/substitutions/mutable_indexed_substitution.h
• mcrl2/data/substitutions/mutable_map_substitution.h
• mcrl2/data/substitutions/mutable_substitution_composer.h
• mcrl2/data/nat.h
• mcrl2/data/substitutions/no_substitution.h
• mcrl2/data/normalize_sorts.h
• mcrl2/data/rewriters/one_point_rule_rewriter.h
• mcrl2/data/optimized_boolean_operators.h
• mcrl2/data/parse.h
• mcrl2/data/parse_impl.h
• mcrl2/data/pos.h
• mcrl2/data/print.h
• mcrl2/data/prover_tool.h
• mcrl2/data/rewriters/quantifiers_inside_rewriter.h
• mcrl2/data/real.h
• mcrl2/data/replace.h
• mcrl2/data/replace_capture_avoiding.h
• mcrl2/data/replace_capture_avoiding_with_an_identifier_generator.h
• mcrl2/data/replace_constants_by_variables.h
• mcrl2/data/representative_generator.h
• mcrl2/data/rewrite.h
• mcrl2/data/rewrite_strategy.h
• mcrl2/data/rewriter.h
• mcrl2/data/rewriter_tool.h
• mcrl2/data/selection.h
• mcrl2/data/substitutions/sequence_sequence_substitution.h
• mcrl2/data/set.h
• mcrl2/data/set_comprehension.h
• mcrl2/data/set_identifier_generator.h
• mcrl2/data/rewriters/simplify_rewriter.h
• mcrl2/data/sort_expression.h
• mcrl2/data/substitutions/sort_expression_assignment.h
• mcrl2/data/sort_specification.h
• mcrl2/data/sort_type_checker.h
• mcrl2/data/standard.h
• mcrl2/data/standard_container_utility.h
• mcrl2/data/standard_numbers_utility.h
• mcrl2/data/standard_utility.h
• mcrl2/data/structured_sort.h
• mcrl2/data/structured_sort_constructor.h
• mcrl2/data/structured_sort_constructor_argument.h
• mcrl2/data/substitution_utility.h
• mcrl2/data/translate_user_notation.h
• mcrl2/data/traverser.h
• mcrl2/data/experimental/type_check_tree.h
• mcrl2/data/experimental/type_checker.h
• mcrl2/data/typecheck.h
• mcrl2/data/undefined.h
• mcrl2/data/untyped_data_parameter.h
• mcrl2/data/untyped_data_specification.h
• mcrl2/data/untyped_identifier.h
• mcrl2/data/untyped_possible_sorts.h
• mcrl2/data/untyped_set_or_bag_comprehension.h
• mcrl2/data/untyped_sort.h
• mcrl2/data/untyped_sort_variable.h
• mcrl2/data/variable.h
• mcrl2/data/substitutions/variable_substitution.h
• mcrl2/data/where_clause.h
• mcrl2/data/xyz_identifier_generator.h