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