Home
last modified time | relevance | path

Searched refs:BIND_OP (Results 1 – 10 of 10) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/SMT/
H A DSMT_NumberSymbol.cc64 BIND_OP(purpose, SMT_NumberSymbol, numberSystem, data); in attachData()
/dports/lang/maude/maude-2.7.1/src/BuiltIn/
H A DCUI_NumberOpSymbol.cc65 BIND_OP(purpose, CUI_NumberOpSymbol, op, data); in attachData()
H A DbindingMacros.hh35 #define BIND_OP(purpose, className, op, data) \ macro
H A DACU_NumberOpSymbol.cc70 BIND_OP(purpose, ACU_NumberOpSymbol, op, data); in attachData()
H A DnumberOpSymbol.cc66 BIND_OP(purpose, NumberOpSymbol, op, data); in attachData()
H A DfloatOpSymbol.cc76 BIND_OP(purpose, FloatOpSymbol, op, data); in attachData()
H A DstringOpSymbol.cc79 BIND_OP(purpose, StringOpSymbol, op, data); in attachData()
H A DChangeLog1201 * 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 DquotedIdentifierOpSymbol.cc84 BIND_OP(purpose, QuotedIdentifierOpSymbol, op, data); in attachData()
H A DChangeLog10136 (attachData): simplified using BIND_OP; call