Object Info

all(_G356, _G357) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:602
all(_G356, _G357) --> reduction_op_for(and) --> reduction_op         --> commuting_op --> operator --> object
                                                range_optimizable_op --> operator --> object
--------------------- Properties:
all(_G356, _G357) has type(([boolean, domain(index)] -> boolean))
                      type(([boolean, iteration(index)] -> boolean))
--------------------- Methods:
all(_G356, _G357) can get_latex(all(_G19211, _G19212), 911, [ "\forall"
                                                            , _G19212
                                                            , "\,.\,"
                                                            , _G19211 ])
--------------------- Methods inherited from class object:
all(_G356, _G357) can get_saved(_G19523, _G19524)
                      restore(_G19523)
                      freeze(_G19523, _G19524)
                      save(_G19523, _G19524)
                      get_properties(_G19523, _G19524)
                      get_superobjects(_G19523, _G19524)
                      get_subobjects(_G19523, _G19524)
                      get_parents(_G19523, _G19524)
                      get_children(_G19523, _G19524)
                      get_instances(_G19523, _G19524)
                      create(_G19523, _G19524, _G19525)
                      create(_G19523, _G19524)
                      get_dependencies(_G19523, _G19524)
--------------------- Methods inherited from class reduction_op_for(and):
all(_G356, _G357) can get_cost(_G19642, _G19643)
                      get_latex(_G19642, _G19643, [ _G19646
                                                  , "_"
                                                  , $NOBR(_G19660 = _G19661)
                                                  , "^"
                                                  , _G19669
                                                  , _G19672 ])
                      get_latex(_G19642, _G19643, [ _G19646
                                                  , "_"
                                                  , _G19655
                                                  , _G19658 ])
                      commute_over(_G19642, _G19643)