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)