Object Info


reduce(_G704, _G705, {_G708}) is defined in /home/robert/projects/Ctadel/ctadel.pl:593
reduce(_G704, _G705, {_G708}) --> reduction_op_for(_G708) --> reduction_op --> commuting_op --> operator --> object
linear_op --> operator --> object
code_op --> operator --> object
--------------------------------- Properties:
reduce(_G704, _G705, {_G708}) has type(([ _G121356
, domain(index)
, assoc_op(([_G121356, _G121356] -> _G121356)) ] ->
_G121356
))
--------------------------------- Methods:
reduce(_G704, _G705, {_G708}) can commute_over(_G121474, scan(_G121477, _G121478, {_G708}))
--------------------------------- Methods inherited from class object:
reduce(_G704, _G705, {_G708}) can restore(_G121687)
save(_G121687, _G121688)
get_properties(_G121687, _G121688)
get_superobjects(_G121687, _G121688)
get_subobjects(_G121687, _G121688)
get_parents(_G121687, _G121688)
get_children(_G121687, _G121688)
get_instances(_G121687, _G121688)
create(_G121687, _G121688)
get_dependencies(_G121687, _G121688)
--------------------------------- Methods inherited from class reduction_op_for(_G708):
reduce(_G704, _G705, {+}) can range(_G121763, ([ {_G121774 .. _G121775}
, _G121777
| _G121778 ] ->
( _G121783
* _G121774
) .. ( _G121783
* _G121775
)
))
reduce(_G704, _G705, {_G708}) can get_cost(_G121763, _G121764)
commute_over(_G121763, _G121764)