Object Info

reduce(_G133, _G134, _G135) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:686
reduce(_G133, _G134, _G135) --> reduction_op_for(_G135) --> reduction_op         --> commuting_op --> operator --> object
                                                            range_optimizable_op --> operator --> object
                                                            linear_op            --> operator --> object
                                code_op                 --> operator --> object
------------------------------- Properties:
reduce(_G133, _G134, _G135) has type(([ _G52343
                                      , domain(index)
                                      , assoc_op(([_G485, _G485] -> _G485)) ] ->
                                      _G485
                                     ))
------------------------------- Methods:
reduce(_G36, _G37, _G38) can    commute_over(_G634, scan(_G637, _G638, _G38))
------------------------------- Methods inherited from class object:
reduce(_G36, _G37, _G38) can    get_saved(_G949, _G950)
                                restore(_G949)
                                freeze(_G949, _G950)
                                save(_G949, _G950)
                                get_properties(_G949, _G950)
                                get_superobjects(_G949, _G950)
                                get_subobjects(_G949, _G950)
                                get_parents(_G949, _G950)
                                get_children(_G949, _G950)
                                get_instances(_G949, _G950)
                                create(_G949, _G950, _G951)
                                create(_G949, _G950)
                                get_dependencies(_G949, _G950)
------------------------------- Methods inherited from class reduction_op_for(_G38):
reduce(_G36, _G37, +) can       range(_G1052, ([ {_G1063 .. _G1064}
                                               , {_G1071 .. _G1072}
                                               | _G1067 ] ->
                                               (( (_G1072 - _G1071 + 1 max 0)
                                                * (_G1063 .. _G1064)
                                                ) if
                                                _G1072 <= _G1071
                                               )
                                              ))
reduce(_G36, _G37, _G38) can    get_cost(_G1055, _G1056)
                                get_latex(_G1055, _G1056, [ _G1059
                                                          , "_"
                                                          , $NOBR(_G1073 = _G1074)
                                                          , "^"
                                                          , _G1082
                                                          , _G1085 ])
                                get_latex(_G1055, _G1056, [ _G1059
                                                          , "_"
                                                          , _G1068
                                                          , _G1071 ])
                                commute_over(_G1055, _G1056)