Ejemplo n.º 1
0
 public Claimed(
     final Claim source, final SimTime time, final AgentID senderID, final AgentID receiverID) {
   super(source.getID(), senderID.getModelID(), senderID, receiverID);
   replyToId = source.getID();
 }