public final class TransitiveProof extends ActsForProof
Constructor and Description |
---|
TransitiveProof(ActsForProof actorToP,
Principal p,
ActsForProof pToGranter) |
Modifier and Type | Method and Description |
---|---|
void |
gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) |
getActor, getGranter
public TransitiveProof(ActsForProof actorToP, Principal p, ActsForProof pToGranter)
public void gatherDelegationDependencies(java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
gatherDelegationDependencies
in class ActsForProof