Object Info


floor(_G368) is defined in /home/robert/projects/Ctadel/ctadel.pl:192
floor(_G368) --> elemental_op --> operator --> object
total_op --> operator --> object
---------------- Properties:
floor(_G368) has type(([real] -> integer))
---------------- Methods:
floor(_G368) can get_latex(floor(_G67610), none, [ "\left\lfloor"
, _G67610
, "\right\rfloor" ])
---------------- Methods inherited from class elemental_op:
floor(_G368) can get_cost(_G67844, 1)
---------------- Methods inherited from class object:
floor(_G368) can restore(_G67821)
save(_G67821, _G67822)
get_properties(_G67821, _G67822)
get_superobjects(_G67821, _G67822)
get_subobjects(_G67821, _G67822)
get_parents(_G67821, _G67822)
get_children(_G67821, _G67822)
get_instances(_G67821, _G67822)
create(_G67821, _G67822)
get_dependencies(_G67821, _G67822)