Eiffel Extension of

Agent extensions for Eiffel