Object Info

right-associative infix operator can has precedence 998

_G1099 can _G1100 is defined in /home/robert/projects/Ctadel/ctadel.pl:786
_G1099 can _G1100 --> object
--------------------------------- Methods:
_G1099 can _G51825 do _G51826 can get_latex(_G51828, [
"\begin{array}[t]{@{}l@{}}"], [ (_G51851 can _G51852 latex
[_G51851, "{\bf ~can~}", _G51852]
)
, (_G51874 do _G51875 latex
[ _G51874
, "{\bf ~do}\\\qquad"
, _G51875 ]
)
, (_G51851, !, _G51852 latex
[_G51851, ",!,\\\qquad", _G51852]
)
, (_G51851, ! latex [_G51851, ",!"])
, (_G51851, _G51852 latex
[_G51851, ",\\\qquad", _G51852]
)
, (_G51851 -> _G51852 latex
[ _G51851
, "\\\rightarrow~~"
, _G51852 ]
)
, (_G51851; _G51852 latex
[ "\begin{array}[t]{@{}l@{}}(\quad~"
, _G51851
, "\\;\quad~"
, _G51852
, "\end{array}\\\qquad)" ]
)
, (\+ _G51851 latex [\+, _G51851])
, (_G51851 forall _G51852 latex
[ "\forall~"
, _G51851
, "~:~"
, _G51852 ]
) ], ["\end{array}"])
--------------------------------- Methods inherited from class object:
_G1099 can _G1100 can restore(_G52039)
save(_G52039, _G52040)
get_properties(_G52039, _G52040)
get_superobjects(_G52039, _G52040)
get_subobjects(_G52039, _G52040)
get_parents(_G52039, _G52040)
get_children(_G52039, _G52040)
get_instances(_G52039, _G52040)
create(_G52039, _G52040)
get_dependencies(_G52039, _G52040)