Object Info

left-associative infix operator until has precedence 990

_G193 until _G194 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:120
_G193 until _G194   --> statement_op --> constant --> object
----------------------- Properties:
_G193 until _G194 has   type(([statement, statement] -> statement))
----------------------- Methods:
_G193 until _G194 can   get_latex(_G17942, ["\begin{array}[t]{@{}l}"], [ (_G17964 until _G17965 latex
                                                                          [ 
"\quad"
                                                                          , $ESCAPE(_G17964)
                                                                          , 
"\\{\bf until~}"
                                                                          , _G17965 ]
                                                                         ) ], [
"\end{array}"])
----------------------- Methods inherited from class object:
_G193 until _G194 can   get_saved(_G18258, _G18259)
                        restore(_G18258)
                        freeze(_G18258, _G18259)
                        save(_G18258, _G18259)
                        get_properties(_G18258, _G18259)
                        get_superobjects(_G18258, _G18259)
                        get_subobjects(_G18258, _G18259)
                        get_parents(_G18258, _G18259)
                        get_children(_G18258, _G18259)
                        get_instances(_G18258, _G18259)
                        create(_G18258, _G18259, _G18260)
                        create(_G18258, _G18259)
                        get_dependencies(_G18258, _G18259)