jif.lang

## Class ToConjunctProof

- java.lang.Object
- - jif.lang.ActsForProof
  - - jif.lang.ToConjunctProof

-     public final class ToConjunctProof
      extends ActsForProof

- - ### Method Summary

    All Methods Instance Methods Concrete Methods
    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`