jif.lang

Class FromDisjunctProof

java.lang.Object

jif.lang.ActsForProof

jif.lang.FromDisjunctProof

public final class FromDisjunctProof
extends ActsForProof

Method Summary

Modifier and Type	Method and Description
void	gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> 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<jif.lang.PrincipalUtil.DelegationPair> s)

Overrides:

gatherDelegationDependencies in class ActsForProof