public interface ConfProjectionPolicy extends ConfPolicy
isBottomConfidentiality, isTopConfidentiality, join, leq_, meet
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString