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, toStringjava.util.Collection<P> joinComponents()