- Generated by
1.9.7
|
mCRL2
|
This is the complete list of members for mcrl2::data::data_type_checker, including all inherited members.
| add_constant(const data::function_symbol &f, const std::string &msg) | mcrl2::data::data_type_checker | protected |
| add_function(const data::function_symbol &f, const std::string &msg, bool allow_double_decls=false) | mcrl2::data::data_type_checker | protected |
| add_system_constant(const data::function_symbol &f) | mcrl2::data::data_type_checker | protected |
| add_system_constants_and_functions(const std::vector< data::function_symbol > &v) | mcrl2::data::data_type_checker | protected |
| add_system_function(const data::function_symbol &f) | mcrl2::data::data_type_checker | protected |
| AdjustNotInferredList(const sort_expression_list &PosTypeList, const atermpp::term_list< sort_expression_list > &TypeListList) const | mcrl2::data::data_type_checker | protected |
| check_alias_circularity(const data::basic_sort &lhs, const data::sort_expression &rhs, std::set< basic_sort > sort_already_seen, const std::map< basic_sort, sort_expression > &alias_map) | mcrl2::data::sort_type_checker | inlineprotected |
| check_aliases() | mcrl2::data::sort_type_checker | inlineprotected |
| check_basic_sort_is_declared(const basic_sort &x) const | mcrl2::data::sort_type_checker | inlineprotected |
| check_for_empty_constructor_domains(const function_symbol_vector &constructors) | mcrl2::data::sort_type_checker | inlineprotected |
| check_for_sort_alias_loop_through_function_sort(const basic_sort &end_search, const sort_expression &start_search, std::set< basic_sort > &visited, const bool observed_a_sort_constructor, const std::map< basic_sort, sort_expression > &alias_map) | mcrl2::data::sort_type_checker | inlineprotected |
| check_sort_is_declared(const sort_expression &x) const | mcrl2::data::sort_type_checker | inlineprotected |
| check_sort_list_is_declared(const sort_expression_list &SortExprList) const | mcrl2::data::sort_type_checker | inlineprotected |
| check_sorts() | mcrl2::data::sort_type_checker | inlineprotected |
| data_type_checker(const data_specification &data_spec) | mcrl2::data::data_type_checker | |
| determine_allowed_type(const data_expression &d, const sort_expression &proposed_type) const | mcrl2::data::data_type_checker | protected |
| EqTypesA(const sort_expression &Type1, const sort_expression &Type2) const | mcrl2::data::data_type_checker | protected |
| EqTypesL(sort_expression_list Type1, sort_expression_list Type2) const | mcrl2::data::data_type_checker | protected |
| ErrorMsgCannotCast(sort_expression CandidateType, data_expression_list Arguments, sort_expression_list ArgumentTypes, std::string previous_reason) const | mcrl2::data::data_type_checker | protected |
| ExpandNumTypesDown(sort_expression Type) const | mcrl2::data::data_type_checker | protected |
| ExpandNumTypesUp(sort_expression Type) const | mcrl2::data::data_type_checker | protected |
| ExpandNumTypesUpL(const sort_expression_list &type_list) const | mcrl2::data::data_type_checker | protected |
| get_sort_specification() const | mcrl2::data::sort_type_checker | inline |
| GetNotInferredList(const atermpp::term_list< sort_expression_list > &TypeListList) const | mcrl2::data::data_type_checker | protected |
| initialise_system_defined_functions(void) | mcrl2::data::data_type_checker | protected |
| InsertType(const sort_expression_list &TypeList, const sort_expression &Type) const | mcrl2::data::data_type_checker | protected |
| InTypesA(const sort_expression &Type, sort_expression_list Types) const | mcrl2::data::data_type_checker | protected |
| InTypesL(const sort_expression_list &Type, atermpp::term_list< sort_expression_list > Types) const | mcrl2::data::data_type_checker | protected |
| IsNotInferredL(sort_expression_list TypeList) const | mcrl2::data::data_type_checker | protected |
| IsTypeAllowedA(const sort_expression &Type, const sort_expression &PosType) const | mcrl2::data::data_type_checker | protected |
| IsTypeAllowedL(const sort_expression_list &TypeList, const sort_expression_list &PosTypeList) const | mcrl2::data::data_type_checker | protected |
| m_sort_specification | mcrl2::data::sort_type_checker | protected |
| match_fbag_cinsert(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| match_fset_insert(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchBagConstructor(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchBagOpBag2Set(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchBagOpBagCount(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchEqNeqComparison(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchFalseFunction(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchFuncUpdate(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchIf(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpConcat(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpCons(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpEltAt(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpHead(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpSnoc(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListOpTail(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchListSetBagOpIn(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchSetBagOpUnionDiffIntersect(const core::identifier_string &data_term_name, const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchSetConstructor(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchSetOpSet2Bag(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchSetOpSetCompl(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MatchSqrt(const function_sort &type, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| MaximumType(const sort_expression &Type1, const sort_expression &Type2, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| operator()(const variable &v, const detail::variable_context &context) const | mcrl2::data::data_type_checker | |
| operator()(const variable_list &l, const detail::variable_context &context) const | mcrl2::data::data_type_checker | |
| operator()() const | mcrl2::data::data_type_checker | |
| operator()(data_equation_vector &eqns) | mcrl2::data::data_type_checker | |
| operator()(const data_expression &data_expr, const detail::variable_context &context) const | mcrl2::data::data_type_checker | protected |
| mcrl2::data::sort_type_checker::operator()(const sort_expression &x) const | mcrl2::data::sort_type_checker | inline |
| print_context() const | mcrl2::data::data_type_checker | inline |
| read_constructors_and_mappings(const function_symbol_vector &constructors, const function_symbol_vector &mappings, const function_symbol_vector &normalized_constructors) | mcrl2::data::data_type_checker | protected |
| read_sort(const sort_expression &SortExpr) | mcrl2::data::data_type_checker | protected |
| sort_type_checker(const sort_specification &sort_spec, bool must_check_aliases=true) | mcrl2::data::sort_type_checker | inline |
| strict_type_check(const data_expression &d) const | mcrl2::data::data_type_checker | protected |
| system_constants | mcrl2::data::data_type_checker | protected |
| system_functions | mcrl2::data::data_type_checker | protected |
| TransformVarConsTypeData(data_specification &data_spec) | mcrl2::data::data_type_checker | protected |
| TraverseVarConsTypeD(const detail::variable_context &DeclaredVars, data_expression &DataTerm, const sort_expression &PosType, const bool strictly_ambiguous=true, const bool warn_upcasting=false, const bool print_cast_error=true) const | mcrl2::data::data_type_checker | protected |
| TraverseVarConsTypeDN(const detail::variable_context &DeclaredVars, data_expression &DataTerm, sort_expression PosType, const bool strictly_ambiguous=true, const std::size_t nFactPars=std::string::npos, const bool warn_upcasting=false, const bool print_cast_error=true) const | mcrl2::data::data_type_checker | protected |
| type_checked_data_spec | mcrl2::data::data_type_checker | protected |
| typecheck_assignment(const assignment &x, const detail::variable_context &variable_context) | mcrl2::data::data_type_checker | inline |
| typecheck_assignment_list(const assignment_list &assignments, const detail::variable_context &variable_context) | mcrl2::data::data_type_checker | inline |
| typecheck_data_expression(const data_expression &x, const sort_expression &expected_sort, const detail::variable_context &variable_context) | mcrl2::data::data_type_checker | inline |
| typechecked_data_specification() const | mcrl2::data::data_type_checker | inline |
| TypeMatchA(const sort_expression &Type_in, const sort_expression &PosType_in, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| TypeMatchL(const sort_expression_list &TypeList, const sort_expression_list &PosTypeList, sort_expression_list &result) const | mcrl2::data::data_type_checker | protected |
| UnArrowProd(const sort_expression_list &ArgTypes, sort_expression PosType, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| UnFBag(sort_expression PosType, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| UnFSet(sort_expression PosType, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| UnifyElementSort(sort_expression &Arg1, sort_expression &Arg2, sort_expression &result) const | mcrl2::data::data_type_checker | inlineprotected |
| UnifyMinType(const sort_expression &Type1, const sort_expression &Type2, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| UnList(sort_expression PosType, sort_expression &result) const | mcrl2::data::data_type_checker | protected |
| UnwindType(const sort_expression &Type) const | mcrl2::data::data_type_checker | protected |
| UnwindType(const variable &v) const | mcrl2::data::data_type_checker | protected |
| UnwindType(const atermpp::term_list< T > &l) | mcrl2::data::data_type_checker | inlineprotected |
| upcast_numeric_type(const data_expression &x, const sort_expression &expected_sort, const detail::variable_context &variable_context) | mcrl2::data::data_type_checker | inlineprotected |
| UpCastNumericType(sort_expression NeededType, sort_expression Type, data_expression &Par, const detail::variable_context &DeclaredVars, const bool strictly_ambiguous, bool warn_upcasting=false, const bool print_cast_error=false) const | mcrl2::data::data_type_checker | protected |
| user_constants | mcrl2::data::data_type_checker | protected |
| user_functions | mcrl2::data::data_type_checker | protected |
| was_warning_upcasting | mcrl2::data::data_type_checker | mutableprotected |
1.9.7