public interface JoinPolicy<P extends Policy> extends Policy
Modifier and Type | Method and Description |
---|---|
java.util.Collection<P> |
joinComponents() |
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString
java.util.Collection<P> joinComponents()