Object Info

left-associative infix operator <- has precedence 1200

_G727 <- _G728 is defined in /home/robert/projects/Ctadel/ctadel.pl:764
_G727 <- _G728 --> operator --> object
------------------ Methods:
_G727 <- _G728 can get_latex(_G36526, ["\begin{array}[t]{@{}l@{}}"], [ (_G36549 <- true latex [_G36549])
, (_G36549 <- ! latex [_G36549,
"\:\leftarrow\:!"])
, ((_G36549 <- !, _G36586) latex
[_G36549,
"\:\leftarrow!,\\\qquad", _G36586]
)
, ((_G36549 <- _G36586) latex
[_G36549,
"\:\leftarrow\\\qquad", _G36586]
)
, (_G36637, !, _G36641 latex
[_G36637,
",!,\\\qquad", _G36641]
)
, (_G36637, ! latex [_G36637,
",!"])
, (_G36637, _G36641 latex [_G36637,
",\\\qquad", _G36641])
, (_G36637 -> _G36641 latex
[_G36637,
"\\\rightarrow~~", _G36641]
)
, (_G36637; _G36641 latex
[
"\begin{array}[t]{@{}l@{}}(\quad~"
, _G36637
,
"\\;\quad~"
, _G36641
,
"\end{array}\\\qquad)" ]
)
, (\+ _G36637 latex [\+, _G36637])
, (_G36637 do _G36641 latex
[_G36637,
"{\bf ~do~}", _G36641]
)
, (_G36637 forall _G36641 latex
[
"\forall~", _G36637, "~:~", _G36641]
) ], [
".\end{array}"])
------------------ Methods inherited from class object:
_G727 <- _G728 can restore(_G36740)
save(_G36740, _G36741)
get_properties(_G36740, _G36741)
get_superobjects(_G36740, _G36741)
get_subobjects(_G36740, _G36741)
get_parents(_G36740, _G36741)
get_children(_G36740, _G36741)
get_instances(_G36740, _G36741)
create(_G36740, _G36741)
get_dependencies(_G36740, _G36741)