jif.lang
Class FromDisjunctProof

java.lang.Object
  extended by jif.lang.ActsForProof
      extended by jif.lang.FromDisjunctProof

public final class FromDisjunctProof
extends ActsForProof


Method Summary
 
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