public interface JoinConfPolicy extends ConfPolicy, JoinPolicy<ConfPolicy>
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ConfPolicy> |
joinComponents() |
isBottomConfidentiality, isTopConfidentiality, join, leq_, meet
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString
java.util.Collection<ConfPolicy> joinComponents()
joinComponents
in interface JoinPolicy<ConfPolicy>