Object Info


scan(_G698, _G699, {_G702}) is defined in /home/robert/projects/Ctadel/ctadel.pl:595
scan(_G698, _G699, {_G702}) --> reduction_op_for(_G702) --> reduction_op --> commuting_op --> operator --> object
linear_op --> operator --> object
code_op --> operator --> object
------------------------------- Properties:
scan(_G698, _G699, {_G702}) has type(([ _G127247
, domain(index)
, assoc_op(([_G127247, _G127247] -> _G127247)) ] ->
_G127247
))
------------------------------- Methods inherited from class object:
scan(_G698, _G699, {_G702}) can restore(_G127467)
save(_G127467, _G127468)
get_properties(_G127467, _G127468)
get_superobjects(_G127467, _G127468)
get_subobjects(_G127467, _G127468)
get_parents(_G127467, _G127468)
get_children(_G127467, _G127468)
get_instances(_G127467, _G127468)
create(_G127467, _G127468)
get_dependencies(_G127467, _G127468)
------------------------------- Methods inherited from class reduction_op_for(_G702):
scan(_G698, _G699, {+}) can range(_G127543, ([{_G127554 .. _G127555}, _G127557 | _G127558] ->
( _G127563
* _G127554
) .. ( _G127563
* _G127555
)
))
scan(_G698, _G699, {_G702}) can get_cost(_G127543, _G127544)
commute_over(_G127543, _G127544)