Object Info


all(_G719, _G720) is defined in /home/robert/projects/Ctadel/ctadel.pl:518
all(_G719, _G720) --> reduction_op_for(and) --> reduction_op --> commuting_op --> operator --> object
--------------------- Properties:
all(_G719, _G720) has type(([boolean, domain(index)] -> boolean))
type(([boolean, iteration(index)] -> boolean))
--------------------- Methods:
all(_G719, _G720) can get_latex(all(_G44874, _G44875), 911, [ "\forall"
, _G44875
, "~:~"
, _G44874 ])
--------------------- Methods inherited from class object:
all(_G719, _G720) can restore(_G45084)
save(_G45084, _G45085)
get_properties(_G45084, _G45085)
get_superobjects(_G45084, _G45085)
get_subobjects(_G45084, _G45085)
get_parents(_G45084, _G45085)
get_children(_G45084, _G45085)
get_instances(_G45084, _G45085)
create(_G45084, _G45085)
get_dependencies(_G45084, _G45085)
--------------------- Methods inherited from class reduction_op_for(and):
all(_G719, _G720) can get_cost(_G45156, _G45157)
commute_over(_G45156, _G45157)