@Override public DungSignature getSignature() { return new DungSignature(); }
public Signature getSignature(){ return new DungSignature(this); }
public Signature getSignature(){ return new DungSignature(this); }
@Override public DungSignature getSignature() { DungSignature reval = new DungSignature(); reval.add(new Argument(this.predicate.getName())); return reval; }
public Signature getSignature(){ DungSignature sig = new DungSignature(); sig.add(this.getAttacked()); sig.add(this.getAttacker()); return sig; }