public interface IntegPolicy extends Policy
Modifier and Type | Method and Description |
---|---|
IntegPolicy |
join(IntegPolicy p) |
IntegPolicy |
join(IntegPolicy p,
boolean simplify) |
IntegPolicy |
join(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies)
Return the join of this policy and p.
|
IntegPolicy |
join(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies,
boolean simplify) |
IntegPolicy |
meet(IntegPolicy p) |
IntegPolicy |
meet(IntegPolicy p,
boolean simplify) |
IntegPolicy |
meet(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies) |
IntegPolicy |
meet(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies,
boolean simplify) |
relabelsTo
IntegPolicy join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies)
IntegPolicy meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies)
IntegPolicy join(IntegPolicy p)
IntegPolicy meet(IntegPolicy p)
IntegPolicy join(IntegPolicy p, boolean simplify)
IntegPolicy meet(IntegPolicy p, boolean simplify)
IntegPolicy join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies, boolean simplify)
IntegPolicy meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> dependencies, boolean simplify)