public interface WriterPolicy extends IntegPolicy
owner <- w1,...,wn
Modifier and Type | Method and Description |
---|---|
Principal |
owner() |
Principal |
writer() |
isBottomIntegrity, isTopIntegrity, join, leq_, meet
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString