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

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