Object Info


trap(_G35, _G36) is defined in /home/robert/projects/Ctadel/fdm.s:183
trap(_G35, _G36) --> stencil_op --> commuting_op --> operator --> object
integration_op --> self_commuting_op --> commuting_op --> operator --> object
linear_op --> operator --> object
declared_op(script("fdm")) --> declared_object(script("fdm")) --> object
------------------------------------ Properties:
trap(grid(_G135891), _G36) has grid(([grid(_G135891), _G36] ->
grid(_G135891)
))
trap({_G135891}, {{_G135898} = {{_G135905} .. {_G135905}}}) has value(( sum(delta {_G135898} * {_G135891}, index({_G135898}) = {_G135905} + 1 .. {_G135905} - 1)
+ ( {_G135891} @ (index({_G135898}) = {_G135905})
* delta {_G135898}
)
))
trap(_G35, _G36) has type(([real, domain(coordinate)] -> real))
------------------------------------ Methods inherited from class integration_op:
trap(_G35, _G36) can commute_over(_G136147, _G136148)
------------------------------------ Methods inherited from class object:
trap(_G35, _G36) can restore(_G136115)
save(_G136115, _G136116)
get_properties(_G136115, _G136116)
get_superobjects(_G136115, _G136116)
get_subobjects(_G136115, _G136116)
get_parents(_G136115, _G136116)
get_children(_G136115, _G136116)
get_instances(_G136115, _G136116)
create(_G136115, _G136116)
get_dependencies(_G136115, _G136116)
------------------------------------ Methods inherited from class self_commuting_op:
trap(_G35, _G36) can commute_over(_G136156, _G136157)