在CArtAgO中，有没有办法知道工作区中有哪些代理？

Question

我有一个JaCaMo项目，其中有一个名为“market_place”的工作区。我想知道是否有任何操作可以知道工作区中有多少代理及其名称。我的JaCaMo jcm文件如下：

mas auctionAE {

agent marie_curie   : auctioneerAE.asl

agent socrates      : participantAE.asl
agent kant          : participantAE.asl
agent aristoteles   : participantAE.asl
agent platao        : participantAE.asl
agent heraclito     : participantAE.asl
agent hannah_arendt : participantAE.asl

workspace market_place {
    artifact auction1 : auctionAE.AuctionArtifact() {
        focused-by: marie_curie, socrates, kant, aristoteles, platao, heraclito, hannah_arendt
    }
}

asl-path: src/agt
          src/agt/inc

}