mCRL2
Loading...
Searching...
No Matches
set1.h File Reference

Go to the source code of this file.

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::data
 Namespace for all data library functionality.
 
namespace  mcrl2::data::sort_set
 Namespace for system defined sort set_.
 

Typedefs

typedef std::map< function_symbol, std::pair< std::function< void(data_expression &, const data_expression &)>, std::string > > mcrl2::data::sort_set::implementation_map
 

Functions

container_sort mcrl2::data::sort_set::set_ (const sort_expression &s)
 Constructor for sort expression Set(S)
 
bool mcrl2::data::sort_set::is_set (const sort_expression &e)
 Recogniser for sort expression Set(s)
 
const core::identifier_stringmcrl2::data::sort_set::constructor_name ()
 Generate identifier @set.
 
function_symbol mcrl2::data::sort_set::constructor (const sort_expression &s)
 Constructor for function symbol @set.
 
bool mcrl2::data::sort_set::is_constructor_function_symbol (const atermpp::aterm &e)
 Recogniser for function @set.
 
application mcrl2::data::sort_set::constructor (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol @set.
 
void mcrl2::data::sort_set::make_constructor (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol @set.
 
bool mcrl2::data::sort_set::is_constructor_application (const atermpp::aterm &e)
 Recogniser for application of @set.
 
function_symbol_vector mcrl2::data::sort_set::set_generate_constructors_code (const sort_expression &s)
 Give all system defined constructors for set_.
 
function_symbol_vector mcrl2::data::sort_set::set_mCRL2_usable_constructors (const sort_expression &s)
 Give all defined constructors which can be used in mCRL2 specs for set_.
 
implementation_map mcrl2::data::sort_set::set_cpp_implementable_constructors (const sort_expression &s)
 Give all system defined constructors which have an implementation in C++ and not in rewrite rules for set_.
 
const core::identifier_stringmcrl2::data::sort_set::set_fset_name ()
 Generate identifier @setfset.
 
function_symbol mcrl2::data::sort_set::set_fset (const sort_expression &s)
 Constructor for function symbol @setfset.
 
bool mcrl2::data::sort_set::is_set_fset_function_symbol (const atermpp::aterm &e)
 Recogniser for function @setfset.
 
application mcrl2::data::sort_set::set_fset (const sort_expression &s, const data_expression &arg0)
 Application of function symbol @setfset.
 
void mcrl2::data::sort_set::make_set_fset (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol @setfset.
 
bool mcrl2::data::sort_set::is_set_fset_application (const atermpp::aterm &e)
 Recogniser for application of @setfset.
 
const core::identifier_stringmcrl2::data::sort_set::set_comprehension_name ()
 Generate identifier @setcomp.
 
function_symbol mcrl2::data::sort_set::set_comprehension (const sort_expression &s)
 Constructor for function symbol @setcomp.
 
bool mcrl2::data::sort_set::is_set_comprehension_function_symbol (const atermpp::aterm &e)
 Recogniser for function @setcomp.
 
application mcrl2::data::sort_set::set_comprehension (const sort_expression &s, const data_expression &arg0)
 Application of function symbol @setcomp.
 
void mcrl2::data::sort_set::make_set_comprehension (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol @setcomp.
 
bool mcrl2::data::sort_set::is_set_comprehension_application (const atermpp::aterm &e)
 Recogniser for application of @setcomp.
 
const core::identifier_stringmcrl2::data::sort_set::in_name ()
 Generate identifier in.
 
function_symbol mcrl2::data::sort_set::in (const sort_expression &, const sort_expression &s0, const sort_expression &s1)
 
bool mcrl2::data::sort_set::is_in_function_symbol (const atermpp::aterm &e)
 Recogniser for function in.
 
application mcrl2::data::sort_set::in (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol in.
 
void mcrl2::data::sort_set::make_in (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol in.
 
bool mcrl2::data::sort_set::is_in_application (const atermpp::aterm &e)
 Recogniser for application of in.
 
const core::identifier_stringmcrl2::data::sort_set::complement_name ()
 Generate identifier !.
 
function_symbol mcrl2::data::sort_set::complement (const sort_expression &s)
 Constructor for function symbol !.
 
bool mcrl2::data::sort_set::is_complement_function_symbol (const atermpp::aterm &e)
 Recogniser for function !.
 
application mcrl2::data::sort_set::complement (const sort_expression &s, const data_expression &arg0)
 Application of function symbol !.
 
void mcrl2::data::sort_set::make_complement (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol !.
 
bool mcrl2::data::sort_set::is_complement_application (const atermpp::aterm &e)
 Recogniser for application of !.
 
const core::identifier_stringmcrl2::data::sort_set::union_name ()
 Generate identifier +.
 
function_symbol mcrl2::data::sort_set::union_ (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
 
bool mcrl2::data::sort_set::is_union_function_symbol (const atermpp::aterm &e)
 Recogniser for function +.
 
application mcrl2::data::sort_set::union_ (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol +.
 
void mcrl2::data::sort_set::make_union_ (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol +.
 
bool mcrl2::data::sort_set::is_union_application (const atermpp::aterm &e)
 Recogniser for application of +.
 
const core::identifier_stringmcrl2::data::sort_set::intersection_name ()
 Generate identifier *.
 
function_symbol mcrl2::data::sort_set::intersection (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
 
bool mcrl2::data::sort_set::is_intersection_function_symbol (const atermpp::aterm &e)
 Recogniser for function *.
 
application mcrl2::data::sort_set::intersection (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol *.
 
void mcrl2::data::sort_set::make_intersection (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol *.
 
bool mcrl2::data::sort_set::is_intersection_application (const atermpp::aterm &e)
 Recogniser for application of *.
 
const core::identifier_stringmcrl2::data::sort_set::difference_name ()
 Generate identifier -.
 
function_symbol mcrl2::data::sort_set::difference (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
 
bool mcrl2::data::sort_set::is_difference_function_symbol (const atermpp::aterm &e)
 Recogniser for function -.
 
application mcrl2::data::sort_set::difference (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol -.
 
void mcrl2::data::sort_set::make_difference (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol -.
 
bool mcrl2::data::sort_set::is_difference_application (const atermpp::aterm &e)
 Recogniser for application of -.
 
const core::identifier_stringmcrl2::data::sort_set::false_function_name ()
 Generate identifier @false_.
 
function_symbol mcrl2::data::sort_set::false_function (const sort_expression &s)
 Constructor for function symbol @false_.
 
bool mcrl2::data::sort_set::is_false_function_function_symbol (const atermpp::aterm &e)
 Recogniser for function @false_.
 
application mcrl2::data::sort_set::false_function (const sort_expression &s, const data_expression &arg0)
 Application of function symbol @false_.
 
void mcrl2::data::sort_set::make_false_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol @false_.
 
bool mcrl2::data::sort_set::is_false_function_application (const atermpp::aterm &e)
 Recogniser for application of @false_.
 
const core::identifier_stringmcrl2::data::sort_set::true_function_name ()
 Generate identifier @true_.
 
function_symbol mcrl2::data::sort_set::true_function (const sort_expression &s)
 Constructor for function symbol @true_.
 
bool mcrl2::data::sort_set::is_true_function_function_symbol (const atermpp::aterm &e)
 Recogniser for function @true_.
 
application mcrl2::data::sort_set::true_function (const sort_expression &s, const data_expression &arg0)
 Application of function symbol @true_.
 
void mcrl2::data::sort_set::make_true_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol @true_.
 
bool mcrl2::data::sort_set::is_true_function_application (const atermpp::aterm &e)
 Recogniser for application of @true_.
 
const core::identifier_stringmcrl2::data::sort_set::not_function_name ()
 Generate identifier @not_.
 
function_symbol mcrl2::data::sort_set::not_function (const sort_expression &s)
 Constructor for function symbol @not_.
 
bool mcrl2::data::sort_set::is_not_function_function_symbol (const atermpp::aterm &e)
 Recogniser for function @not_.
 
application mcrl2::data::sort_set::not_function (const sort_expression &s, const data_expression &arg0)
 Application of function symbol @not_.
 
void mcrl2::data::sort_set::make_not_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
 Make an application of function symbol @not_.
 
bool mcrl2::data::sort_set::is_not_function_application (const atermpp::aterm &e)
 Recogniser for application of @not_.
 
const core::identifier_stringmcrl2::data::sort_set::and_function_name ()
 Generate identifier @and_.
 
function_symbol mcrl2::data::sort_set::and_function (const sort_expression &s)
 Constructor for function symbol @and_.
 
bool mcrl2::data::sort_set::is_and_function_function_symbol (const atermpp::aterm &e)
 Recogniser for function @and_.
 
application mcrl2::data::sort_set::and_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol @and_.
 
void mcrl2::data::sort_set::make_and_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol @and_.
 
bool mcrl2::data::sort_set::is_and_function_application (const atermpp::aterm &e)
 Recogniser for application of @and_.
 
const core::identifier_stringmcrl2::data::sort_set::or_function_name ()
 Generate identifier @or_.
 
function_symbol mcrl2::data::sort_set::or_function (const sort_expression &s)
 Constructor for function symbol @or_.
 
bool mcrl2::data::sort_set::is_or_function_function_symbol (const atermpp::aterm &e)
 Recogniser for function @or_.
 
application mcrl2::data::sort_set::or_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Application of function symbol @or_.
 
void mcrl2::data::sort_set::make_or_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
 Make an application of function symbol @or_.
 
bool mcrl2::data::sort_set::is_or_function_application (const atermpp::aterm &e)
 Recogniser for application of @or_.
 
const core::identifier_stringmcrl2::data::sort_set::fset_union_name ()
 Generate identifier @fset_union.
 
function_symbol mcrl2::data::sort_set::fset_union (const sort_expression &s)
 Constructor for function symbol @fset_union.
 
bool mcrl2::data::sort_set::is_fset_union_function_symbol (const atermpp::aterm &e)
 Recogniser for function @fset_union.
 
application mcrl2::data::sort_set::fset_union (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
 Application of function symbol @fset_union.
 
void mcrl2::data::sort_set::make_fset_union (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
 Make an application of function symbol @fset_union.
 
bool mcrl2::data::sort_set::is_fset_union_application (const atermpp::aterm &e)
 Recogniser for application of @fset_union.
 
const core::identifier_stringmcrl2::data::sort_set::fset_intersection_name ()
 Generate identifier @fset_inter.
 
function_symbol mcrl2::data::sort_set::fset_intersection (const sort_expression &s)
 Constructor for function symbol @fset_inter.
 
bool mcrl2::data::sort_set::is_fset_intersection_function_symbol (const atermpp::aterm &e)
 Recogniser for function @fset_inter.
 
application mcrl2::data::sort_set::fset_intersection (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
 Application of function symbol @fset_inter.
 
void mcrl2::data::sort_set::make_fset_intersection (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
 Make an application of function symbol @fset_inter.
 
bool mcrl2::data::sort_set::is_fset_intersection_application (const atermpp::aterm &e)
 Recogniser for application of @fset_inter.
 
function_symbol_vector mcrl2::data::sort_set::set_generate_functions_code (const sort_expression &s)
 Give all system defined mappings for set_.
 
function_symbol_vector mcrl2::data::sort_set::set_generate_constructors_and_functions_code (const sort_expression &s)
 Give all system defined mappings and constructors for set_.
 
function_symbol_vector mcrl2::data::sort_set::set_mCRL2_usable_mappings (const sort_expression &s)
 Give all system defined mappings that can be used in mCRL2 specs for set_.
 
implementation_map mcrl2::data::sort_set::set_cpp_implementable_mappings (const sort_expression &s)
 Give all system defined mappings that are to be implemented in C++ code for set_.
 
const data_expressionmcrl2::data::sort_set::left (const data_expression &e)
 Function for projecting out argument. left from an application.
 
const data_expressionmcrl2::data::sort_set::right (const data_expression &e)
 Function for projecting out argument. right from an application.
 
const data_expressionmcrl2::data::sort_set::arg (const data_expression &e)
 Function for projecting out argument. arg from an application.
 
const data_expressionmcrl2::data::sort_set::arg1 (const data_expression &e)
 Function for projecting out argument. arg1 from an application.
 
const data_expressionmcrl2::data::sort_set::arg2 (const data_expression &e)
 Function for projecting out argument. arg2 from an application.
 
const data_expressionmcrl2::data::sort_set::arg3 (const data_expression &e)
 Function for projecting out argument. arg3 from an application.
 
const data_expressionmcrl2::data::sort_set::arg4 (const data_expression &e)
 Function for projecting out argument. arg4 from an application.
 
data_equation_vector mcrl2::data::sort_set::set_generate_equations_code (const sort_expression &s)
 Give all system defined equations for set_.