Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.lang
Interface IntegPolicy

All Superinterfaces:
  Policy

All Known Implementing Classes:
  JoinIntegPolicy, MeetIntegPolicy, WriterPolicy

    public interface IntegPolicy

extends Policy

Method Summary
`IntegPolicy` | `join(IntegPolicy p)`
`IntegPolicy` | `join(IntegPolicy p, java.util.Set dependencies)` Return the join of this policy and p.
`IntegPolicy` | `meet(IntegPolicy p)`
`IntegPolicy` | `meet(IntegPolicy p, java.util.Set dependencies)` Return the meet of this policy and p.

Methods inherited from interface jif.lang.Policy
`relabelsTo`

Method Detail

### join

    IntegPolicy join(IntegPolicy p,
                     java.util.Set dependencies)

  Return the join of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this join result depends upon.

### meet

    IntegPolicy meet(IntegPolicy p,
                     java.util.Set dependencies)

  Return the meet of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this meet result depends upon.

### join

    IntegPolicy join(IntegPolicy p)

### meet

    IntegPolicy meet(IntegPolicy p)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD