public interface DisjunctivePrincipal extends Principal
Modifier and Type | Method and Description |
---|---|
java.util.Set<Principal> |
disjuncts() |
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, variables
toJava
isCanonical, isRuntimeRepresentable, typeSystem
java.util.Set<Principal> disjuncts()