jade.domain.JADEAgentManagement

Class KillAgent

These are the official JADE API. For these API backward compatibility is guaranteed accross JADE versions