jif.types.principal

## Interface ConjunctivePrincipal

- All Superinterfaces:
    ActsForParam, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, Param, Principal, java.io.Serializable, polyglot.types.TypeObject
  All Known Implementing Classes:
    ConjunctivePrincipal_c

      public interface ConjunctivePrincipal
      extends Principal

  A conjunctive principal represents the conjunction of two principals A&B. The conjunctive principal A&B can act for A and it can act for B.

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface polyglot.util.Copy

      `polyglot.util.Copy.Util`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<Principal>` | `conjuncts()`

    - ### Methods inherited from interface jif.types.principal.Principal

      `hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, variables`

    - ### Methods inherited from interface jif.types.ActsForParam

      `toJava`

    - ### Methods inherited from interface jif.types.Param

      `isCanonical, isRuntimeRepresentable, typeSystem`

    - ### Methods inherited from interface polyglot.types.TypeObject

      `equalsImpl, position`

    - ### Methods inherited from interface polyglot.util.Copy

      `copy`

- - ### Method Detail

    - #### conjuncts

          java.util.Set<Principal> conjuncts()