Object Info

right-associative infix operator \\ has precedence 962

_G485 \\ _G486 is defined in /home/robert/projects/Ctadel/ctadel.pl:134
_G485 \\ _G486 --> code_op --> operator --> object
statement_op --> uncommon_op --> operator --> object
elemental_op --> operator --> object
total_op --> operator --> object
associative_op --> operator --> object
idempotent_op --> operator --> object
------------------ Properties:
_G485 \\ _G486 has type(([_G41179, _G41179] -> _G41179))
unit_element(nil)
------------------ Methods:
_G485 \\ _G486 can get_latex(_G41300, ["\begin{array}[t]{@{}l}"], [ (_G41322 \\ _G41323 latex
[ _G41322
,
"\\{\bf else}\\\quad"
, _G41323 ]
)
, (_G41322 if _G41348 latex
[
"{\bf if~}"
, _G41348
,
"{\bf ~then}\\\quad"
, $ESCAPE(_G41322) ]
)
, (_G41322 ? _G41348 latex
[
"{\bf if~}"
, _G41348
,
"{\bf ~then}\\\quad"
, $ESCAPE(_G41322) ]
)
, (_G41322 otherwise latex [_G41322]) ], [
"\end{array}"])
get_latex(_G41297, ["\left\{\begin{array}{ll}"], [ (_G41320 \\ _G41321 latex
[_G41320,
"\\", _G41321]
)
, (_G41320 if _G41342 latex
[$ESCAPE(_G41320),
"&{\bf if~}", $ESCAPE(_G41342)]
)
, (_G41320 ? _G41342 latex
[$ESCAPE(_G41320),
"&", $ESCAPE(_G41342)]
)
, (_G41320 otherwise latex
[$ESCAPE(_G41320),
"&{\bf otherwise}"]
) ], [
"\end{array}\right\}"])
------------------ Methods inherited from class elemental_op:
_G485 \\ _G486 can get_cost(_G41534, 1)
------------------ Methods inherited from class object:
_G485 \\ _G486 can restore(_G41511)
save(_G41511, _G41512)
get_properties(_G41511, _G41512)
get_superobjects(_G41511, _G41512)
get_subobjects(_G41511, _G41512)
get_parents(_G41511, _G41512)
get_children(_G41511, _G41512)
get_instances(_G41511, _G41512)
create(_G41511, _G41512)
get_dependencies(_G41511, _G41512)