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