Object Info

right-associative infix operator ! has precedence 962

_G359 ! _G360 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:186
_G359 ! _G360   --> code_op      --> operator --> object
                    statement_op --> constant --> object
                    elemental_op --> operator --> object
                    total_op     --> operator --> object
                    meet_op      --> abelian_op    --> associative_op --> operator --> object
                                                       commutative_op --> operator --> object
                                     idempotent_op --> operator --> object
------------------- Properties:
_G359 ! _G360 has   type(([_G35934, _G35934] -> _G35934))
                    unit_element(nil)
------------------- Methods:
_G359 ! _G360 can   get_latex(_G36079, ["\begin{array}[t]{@{}l}"], [ (_G36101 ! _G36102 latex
                                                                      [ _G36101
                                                                      , 
"\\{\bf else}\\\quad"
                                                                      , _G36102 ]
                                                                     )
                                                                   , (_G36101 if _G36127 latex
                                                                      [ 
"{\bf if~}"
                                                                      , _G36127
                                                                      , 
"{\bf ~then}\\\quad"
                                                                      , $ESCAPE(_G36101) ]
                                                                     )
                                                                   , (_G36101 ? _G36127 latex
                                                                      [ 
"{\bf if~}"
                                                                      , _G36127
                                                                      , 
"{\bf ~then}\\\quad"
                                                                      , $ESCAPE(_G36101) ]
                                                                     )
                                                                   , (_G36101 otherwise latex [_G36101]) ], [
"\end{array}"])
                    get_latex(_G36076, ["\left\{\begin{array}{ll}"], [ (_G36099 ! _G36100 latex
                                                                        [_G36099, 
"\\", _G36100]
                                                                       )
                                                                     , (_G36099 if _G36121 latex
                                                                        [ $ESCAPE(_G36099)
                                                                        , 
"&{\bf if~}"
                                                                        , $ESCAPE(_G36121) ]
                                                                       )
                                                                     , (_G36099 ? _G36121 latex
                                                                        [$ESCAPE(_G36099), 
"&", $ESCAPE(_G36121)]
                                                                       ) ], [
"\end{array}\right."])
------------------- Methods inherited from class object:
_G359 ! _G360 can   get_saved(_G36392, _G36393)
                    restore(_G36392)
                    freeze(_G36392, _G36393)
                    save(_G36392, _G36393)
                    get_properties(_G36392, _G36393)
                    get_superobjects(_G36392, _G36393)
                    get_subobjects(_G36392, _G36393)
                    get_parents(_G36392, _G36393)
                    get_children(_G36392, _G36393)
                    get_instances(_G36392, _G36393)
                    create(_G36392, _G36393, _G36394)
                    create(_G36392, _G36393)
                    get_dependencies(_G36392, _G36393)