/dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
H A D | CUI_Symbol.cc | 307 CUI_Symbol::termify(DagNode* dagNode) in termify() function in CUI_Symbol 313 arguments[0] = d0->symbol()->termify(d0); in termify() 314 arguments[1] = d1->symbol()->termify(d1); in termify()
|
H A D | CUI_Symbol.hh | 57 Term* termify(DagNode* dagNode);
|
/dports/lang/maude/maude-2.7.1/src/BuiltIn/ |
H A D | stringSymbol.hh | 39 Term* termify(DagNode* dagNode);
|
H A D | floatSymbol.hh | 42 Term* termify(DagNode* dagNode);
|
H A D | stringSymbol.cc | 89 StringSymbol::termify(DagNode* dagNode) in termify() function in StringSymbol
|
H A D | floatSymbol.cc | 113 FloatSymbol::termify(DagNode* dagNode) in termify() function in FloatSymbol
|
/dports/lang/maude/maude-2.7.1/src/SMT/ |
H A D | SMT_NumberSymbol.hh | 49 Term* termify(DagNode* dagNode);
|
H A D | SMT_NumberSymbol.cc | 125 SMT_NumberSymbol::termify(DagNode* dagNode) in termify() function in SMT_NumberSymbol
|
/dports/lang/maude/maude-2.7.1/src/Mixfix/ |
H A D | quotedIdentifierSymbol.hh | 47 Term* termify(DagNode* dagNode);
|
H A D | quotedIdentifierSymbol.cc | 200 QuotedIdentifierSymbol::termify(DagNode* dagNode) in termify() function in QuotedIdentifierSymbol
|
/dports/lang/maude/maude-2.7.1/src/Variable/ |
H A D | variableSymbol.hh | 45 Term* termify(DagNode* dagNode);
|
H A D | variableSymbol.cc | 93 VariableSymbol::termify(DagNode* dagNode) in termify() function in VariableSymbol
|
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
H A D | ACU_Symbol.hh | 50 Term* termify(DagNode* dagNode);
|
H A D | ACU_Symbol.cc | 384 ACU_Symbol::termify(DagNode* dagNode) in termify() function in ACU_Symbol 395 arguments.append(a->symbol()->termify(a)); in termify() 405 arguments.append(a->symbol()->termify(a)); in termify()
|
/dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
H A D | freeSymbol.hh | 55 Term* termify(DagNode* dagNode);
|
H A D | freeSymbol.cc | 335 FreeSymbol::termify(DagNode* dagNode) in termify() function in FreeSymbol 343 args[i] = d->symbol()->termify(d); in termify()
|
/dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
H A D | AU_Symbol.hh | 51 Term* termify(DagNode* dagNode);
|
H A D | AU_Symbol.cc | 488 AU_Symbol::termify(DagNode* dagNode) in termify() function in AU_Symbol 498 arguments.append(a->symbol()->termify(a)); in termify() 507 arguments.append(a->symbol()->termify(a)); in termify()
|
/dports/lang/maude/maude-2.7.1/src/S_Theory/ |
H A D | S_Symbol.hh | 47 Term* termify(DagNode* dagNode);
|
H A D | S_Symbol.cc | 326 S_Symbol::termify(DagNode* dagNode) in termify() function in S_Symbol 330 return new S_Term(this, d->getNumber(), a->symbol()->termify(a)); in termify()
|
/dports/lang/maude/maude-2.7.1/src/Interface/ |
H A D | symbol.hh | 84 virtual Term* termify(DagNode* dagNode) = 0;
|
/dports/lang/maude/maude-2.7.1/src/Higher/ |
H A D | unifierFilter.cc | 208 Term* t = d->symbol()->termify(d); in RetainedUnifier()
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/ssl/src/ |
H A D | inet_tls_dist.erl | 826 "crl_cache" -> fun termify/1; 843 termify(String) when is_list(String) -> function 849 case termify(Value) of
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/ssl/src/ |
H A D | inet_tls_dist.erl | 811 "crl_cache" -> fun termify/1; 828 termify(String) when is_list(String) -> function 834 case termify(Value) of
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/ssl/src/ |
H A D | inet_tls_dist.erl | 810 "crl_cache" -> fun termify/1; 827 termify(String) when is_list(String) -> function 833 case termify(Value) of
|