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