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