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 ConfPolicy

All Superinterfaces:
  Policy

All Known Implementing Classes:
  JoinConfPolicy, MeetConfPolicy, ReaderPolicy

    public interface ConfPolicy

extends Policy

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

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

Method Detail

### join

    ConfPolicy join(ConfPolicy 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

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

### join

    ConfPolicy join(ConfPolicy p)

### meet

    ConfPolicy meet(ConfPolicy p)

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