jif.lang
Class ActsForProof

java.lang.Object
  jif.lang.ActsForProof

Direct Known Subclasses:

DelegatesProof, FromDisjunctProof, ReflexiveProof, ToConjunctProof, TransitiveProof

public abstract class ActsForProof
extends java.lang.Object

Method Summary

void	gatherDelegationDependencies(java.util.Set s)
Principal	getActor()
Principal	getGranter()

Methods inherited from class java.lang.Object

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

Method Detail

getActor

public Principal getActor()

getGranter

public Principal getGranter()

gatherDelegationDependencies

public void gatherDelegationDependencies(java.util.Set s)