Searched refs:BIND_OP (Results 1 – 10 of 10) sorted by relevance
/dports/lang/maude/maude-2.7.1/src/SMT/ |
H A D | SMT_NumberSymbol.cc | 64 BIND_OP(purpose, SMT_NumberSymbol, numberSystem, data); in attachData()
|
/dports/lang/maude/maude-2.7.1/src/BuiltIn/ |
H A D | CUI_NumberOpSymbol.cc | 65 BIND_OP(purpose, CUI_NumberOpSymbol, op, data); in attachData()
|
H A D | bindingMacros.hh | 35 #define BIND_OP(purpose, className, op, data) \ macro
|
H A D | ACU_NumberOpSymbol.cc | 70 BIND_OP(purpose, ACU_NumberOpSymbol, op, data); in attachData()
|
H A D | numberOpSymbol.cc | 66 BIND_OP(purpose, NumberOpSymbol, op, data); in attachData()
|
H A D | floatOpSymbol.cc | 76 BIND_OP(purpose, FloatOpSymbol, op, data); in attachData()
|
H A D | stringOpSymbol.cc | 79 BIND_OP(purpose, StringOpSymbol, op, data); in attachData()
|
H A D | ChangeLog | 1201 * bindingMacros.hh (BIND_OP): return true in op == t case 1205 * stringOpSymbol.cc (attachData): simplified using BIND_OP; call 1214 BIND_OP; call FreeSymbol::attachData() 1222 BIND_OP; call FreeSymbol::attachData() 1224 * bindingMacros.hh (BIND_OP): added 1225 (BIND_OP): added
|
/dports/lang/maude/maude-2.7.1/src/Mixfix/ |
H A D | quotedIdentifierOpSymbol.cc | 84 BIND_OP(purpose, QuotedIdentifierOpSymbol, op, data); in attachData()
|
H A D | ChangeLog | 10136 (attachData): simplified using BIND_OP; call
|