Object Info


any(_G722, _G723) is defined in /home/robert/projects/Ctadel/ctadel.pl:513
any(_G722, _G723) --> reduction_op_for(or) --> reduction_op --> commuting_op --> operator --> object
--------------------- Properties:
any(_G722, _G723) has type(([boolean, domain(index)] -> boolean))
type(([boolean, iteration(index)] -> boolean))
--------------------- Methods:
any(_G722, _G723) can get_latex(any(_G45412, _G45413), 915, [ "\exists"
, _G45413
, "~:~"
, _G45412 ])
--------------------- Methods inherited from class object:
any(_G722, _G723) can restore(_G45622)
save(_G45622, _G45623)
get_properties(_G45622, _G45623)
get_superobjects(_G45622, _G45623)
get_subobjects(_G45622, _G45623)
get_parents(_G45622, _G45623)
get_children(_G45622, _G45623)
get_instances(_G45622, _G45623)
create(_G45622, _G45623)
get_dependencies(_G45622, _G45623)
--------------------- Methods inherited from class reduction_op_for(or):
any(_G722, _G723) can get_cost(_G45691, _G45692)
commute_over(_G45691, _G45692)