public interface IntegPolicy extends Policy
Modifier and Type | Method and Description |
---|---|
boolean |
isBottomIntegrity() |
boolean |
isTopIntegrity() |
IntegPolicy |
join(IntegPolicy p) |
boolean |
leq_(IntegPolicy p,
LabelEnv env,
LabelEnv.SearchState state) |
IntegPolicy |
meet(IntegPolicy p) |
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString
boolean isBottomIntegrity()
boolean isTopIntegrity()
boolean leq_(IntegPolicy p, LabelEnv env, LabelEnv.SearchState state)
IntegPolicy join(IntegPolicy p)
IntegPolicy meet(IntegPolicy p)