mCRL2
Loading...
Searching...
No Matches
data Directory Reference

Directories

 detail
 
 experimental
 
 rewriters
 
 substitutions
 

Files

 abstraction.h
 The class abstraction.
 
 add_binding.h
 add your file description here.
 
 alias.h
 The class alias.
 
 anonymize.h
 add your file description here.
 
 application.h
 The class application.
 
 assignment.h
 The class assignment.
 
 bag.h
 The standard sort bag.
 
 bag1.h
 
 bag64.h
 
 bag_comprehension.h
 add your file description here.
 
 basic_sort.h
 The class basic_sort.
 
 binder_type.h
 The class binder_type.
 
 bool.h
 The standard sort bool_.
 
 builder.h
 add your file description here.
 
 cardinality.h
 This file provides a class that can determine the cardinality of a sort in a datatype.
 
 consistency.h
 This file contains some functions that are present in all libraries except the data library. In the data library they have different names, or are located in different namespaces. Note that this file can not be used everywhere, in particular not when people expose the sort_bool namespace.
 
 container_sort.h
 The class container_sort.
 
 container_type.h
 
 data.h
 Contains includes of frequently used header files for data expressions.
 
 data_equation.h
 The class data_equation.
 
 data_expression.h
 The class data_expression.
 
 data_io.h
 
 data_specification.h
 The class data_specification.
 
 default_expression_generator.h
 add your file description here.
 
 enumerator.h
 The class enumerator.
 
 enumerator_with_iterator.h
 add your file description here.
 
 equality_one_point_substitution.h
 
 exists.h
 The class exists.
 
 expression_traits.h
 Contains term traits for data_expression.
 
 fbag.h
 The standard sort fbag.
 
 fbag1.h
 
 fbag64.h
 
 find.h
 Search functions of the data library.
 
 find_equalities.h
 add your file description here.
 
 forall.h
 The class forall.
 
 fourier_motzkin.h
 Contains functions to apply Fourier-Motzkin on linear inequalities and data expressions.
 
 fset.h
 The standard sort fset.
 
 fset1.h
 
 fset64.h
 
 function_sort.h
 The class function_sort.
 
 function_symbol.h
 The class function symbol.
 
 function_update.h
 The standard sort function_update.
 
 identifier_generator.h
 The class identifier_generator.
 
 index_traits.h
 add your file description here.
 
 int.h
 The standard sort int_.
 
 int1.h
 
 int64.h
 
 is_simple_substitution.h
 add your file description here.
 
 is_sub_sort.h
 add your file description here.
 
 join.h
 Join and split functions for data expressions.
 
 lambda.h
 The class lambda.
 
 linear_inequalities.h
 Contains a class linear_inequality to represent mcrl2 data expressions that are linear equalities, or inequalities. Furthermore, it contains some operations on these linear inequalities, such as Fourier-Motzkin elimination.
 
 list.h
 The standard sort list.
 
 list1.h
 
 list64.h
 
 machine_number.h
 The class machine_number, which is a subclass of data_expression.
 
 machine_word.h
 The standard sort machine_word.
 
 merge_data_specifications.h
 add your file description here.
 
 nat.h
 The standard sort nat.
 
 nat1.h
 
 nat64.h
 
 normalize_sorts.h
 add your file description here.
 
 optimized_boolean_operators.h
 add your file description here.
 
 parse.h
 Parser for data specifications.
 
 parse_impl.h
 add your file description here.
 
 pos.h
 The standard sort pos.
 
 pos1.h
 
 pos64.h
 
 print.h
 Provides utilities for pretty printing.
 
 prover_tool.h
 Base class for tools that use a data rewriter.
 
 real.h
 The standard sort real_.
 
 real1.h
 
 real64.h
 
 real_utilities.h
 Contains a number of auxiliary functions to recognize reals.

 
 replace.h
 add your file description here.
 
 replace_capture_avoiding.h
 add your file description here.
 
 replace_capture_avoiding_with_an_identifier_generator.h
 add your file description here.
 
 replace_constants_by_variables.h
 add your file description here.
 
 representative_generator.h
 Component for generating representatives of sorts.
 
 rewrite.h
 add your file description here.
 
 rewrite_strategy.h
 
 rewriter.h
 The class rewriter.
 
 rewriter_tool.h
 Base class for tools that use a data rewriter.
 
 selection.h
 Provides selection utility functionality.
 
 set.h
 The standard sort set_.
 
 set1.h
 
 set64.h
 
 set_comprehension.h
 add your file description here.
 
 set_identifier_generator.h
 The classes set_identifier_generator and multiset_identifier_generator.
 
 sort_expression.h
 The class sort_expression.
 
 sort_specification.h
 This file describes the a sort_specification,.
 
 sort_type_checker.h
 add your file description here.
 
 standard.h
 Standard functions that are available for all sorts.
 
 standard_container_utility.h
 Provides utilities for working with data expressions of standard container sorts.
 
 standard_numbers_utility.h
 Provides utilities for working with data expressions of standard sorts.
 
 standard_utility.h
 Provides utilities for working with data expressions of standard sorts.
 
 structured_sort.h
 The class structured_sort.
 
 structured_sort_constructor.h
 The classes structured_sort_constructor.
 
 structured_sort_constructor_argument.h
 The class structured_sort_constructor_arguments.
 
 substitution_utility.h
 add your file description here.
 
 translate_user_notation.h
 add your file description here.
 
 traverser.h
 add your file description here.
 
 typecheck.h
 add your file description here.
 
 undefined.h
 add your file description here.
 
 unfold_pattern_matching.h
 
 untyped_data_parameter.h
 add your file description here.
 
 untyped_data_specification.h
 add your file description here.
 
 untyped_identifier.h
 add your file description here.
 
 untyped_possible_sorts.h
 add your file description here.
 
 untyped_set_or_bag_comprehension.h
 add your file description here.
 
 untyped_sort.h
 add your file description here.
 
 untyped_sort_variable.h
 add your file description here.
 
 variable.h
 The class variable.
 
 where_clause.h
 The class where_clause.
 
 xyz_identifier_generator.h
 Class that generates identifiers in the range X, Y, Z, X0, Y0, Z0, X1, ...