Object Info

prefix operator after has precedence 800

after _G318 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:591
after _G318 --> constant --> object
total_op --> operator --> object
---------------- Properties:
after _G318 has type(([domain(_G4277)] -> boolean))
---------------- Methods inherited from class object:
after _G318 can get_saved(_G4596, _G4597)
restore(_G4596)
freeze(_G4596, _G4597)
save(_G4596, _G4597)
get_properties(_G4596, _G4597)
get_superobjects(_G4596, _G4597)
get_subobjects(_G4596, _G4597)
get_parents(_G4596, _G4597)
get_children(_G4596, _G4597)
get_instances(_G4596, _G4597)
create(_G4596, _G4597, _G4598)
create(_G4596, _G4597)
get_dependencies(_G4596, _G4597)