Class ProtocolTerminatedException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.tweetyproject.agents.ProtocolTerminatedException
All Implemented Interfaces:
Serializable

public class ProtocolTerminatedException extends Exception
A ProtocolTerminatedException is thrown when a protocol is asked to perform a step but has already terminated.
Author:
Matthias Thimm
See Also: