Object Info

right-associative infix operator ! has precedence 962

_G479 ! _G480 is defined in /home/robert/projects/Ctadel/ctadel.pl:136
_G479 ! _G480 --> code_op --> operator --> object
statement_op --> uncommon_op --> operator --> 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:
_G479 ! _G480 has type(([_G29215, _G29215] -> _G29215))
unit_element(nil)
----------------- Methods:
_G479 ! _G480 can get_latex(_G29336, ["\begin{array}[t]{@{}l}"], [ (_G29358 ! _G29359 latex
[ _G29358
,
"\\{\bf else}\\\quad"
, _G29359 ]
)
, (_G29358 if _G29384 latex
[
"{\bf if~}"
, _G29384
,
"{\bf ~then}\\\quad"
, $ESCAPE(_G29358) ]
)
, (_G29358 ? _G29384 latex
[
"{\bf if~}"
, _G29384
,
"{\bf ~then}\\\quad"
, $ESCAPE(_G29358) ]
)
, (_G29358 otherwise latex [_G29358]) ], [
"\end{array}"])
get_latex(_G29333, ["\left\{\begin{array}{ll}"], [ (_G29356 ! _G29357 latex
[_G29356,
"\\", _G29357]
)
, (_G29356 if _G29378 latex
[ $ESCAPE(_G29356)
,
"&{\bf if~}"
, $ESCAPE(_G29378) ]
)
, (_G29356 ? _G29378 latex
[$ESCAPE(_G29356),
"&", $ESCAPE(_G29378)]
) ], [
"\end{array}\right."])
----------------- Methods inherited from class elemental_op:
_G479 ! _G480 can get_cost(_G29570, 1)
----------------- Methods inherited from class object:
_G479 ! _G480 can restore(_G29547)
save(_G29547, _G29548)
get_properties(_G29547, _G29548)
get_superobjects(_G29547, _G29548)
get_subobjects(_G29547, _G29548)
get_parents(_G29547, _G29548)
get_children(_G29547, _G29548)
get_instances(_G29547, _G29548)
create(_G29547, _G29548)
get_dependencies(_G29547, _G29548)