Object Info

non-associative infix operator step has precedence 610

_G104 step _G105 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:215
_G104 step _G105   --> total_op --> operator --> object
                       constant --> object
---------------------- Properties:
_G104 step _G105 has   type(([range(_G7063), _G7063] -> interval(_G7063)))
---------------------- Methods inherited from class object:
_G104 step _G105 can   get_saved(_G7381, _G7382)
                       restore(_G7381)
                       freeze(_G7381, _G7382)
                       save(_G7381, _G7382)
                       get_properties(_G7381, _G7382)
                       get_superobjects(_G7381, _G7382)
                       get_subobjects(_G7381, _G7382)
                       get_parents(_G7381, _G7382)
                       get_children(_G7381, _G7382)
                       get_instances(_G7381, _G7382)
                       create(_G7381, _G7382, _G7383)
                       create(_G7381, _G7382)
                       get_dependencies(_G7381, _G7382)