jif.lang
Class FromDisjunctProof

java.lang.Object
  jif.lang.ActsForProof
      jif.lang.FromDisjunctProof

public final class FromDisjunctProof
extends ActsForProof

Method Summary

void	gatherDelegationDependencies(java.util.Set s)

Methods inherited from class jif.lang.ActsForProof

getActor, getGranter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

gatherDelegationDependencies

public void gatherDelegationDependencies(java.util.Set s)

Overrides:

gatherDelegationDependencies in class ActsForProof