./\. | DCLabel.Trustworthy, DCLabel.Untrustworthy |
.\/. | DCLabel.Trustworthy, DCLabel.Untrustworthy |
<> | DCLabel.Trustworthy, DCLabel.Untrustworthy |
bottom | DCLabel.Trustworthy, DCLabel.Untrustworthy |
canflowto | DCLabel.Trustworthy, DCLabel.Untrustworthy |
canflowto_p | DCLabel.Trustworthy, DCLabel.Untrustworthy |
ConjunctionOf | DCLabel.Trustworthy, DCLabel.Untrustworthy |
createPriv | DCLabel.Trustworthy |
DCLabel | DCLabel.Trustworthy, DCLabel.Untrustworthy |
DisjunctionOf | DCLabel.Trustworthy, DCLabel.Untrustworthy |
integrityDC | DCLabel.Trustworthy, DCLabel.Untrustworthy |
isPrincipal | DCLabel.Trustworthy, DCLabel.Untrustworthy |
join | DCLabel.Trustworthy, DCLabel.Untrustworthy |
Label | DCLabel.Trustworthy, DCLabel.Untrustworthy |
labelToList | DCLabel.Trustworthy, DCLabel.Untrustworthy |
Lattice | DCLabel.Trustworthy, DCLabel.Untrustworthy |
meet | DCLabel.Trustworthy, DCLabel.Untrustworthy |
newDC | DCLabel.Trustworthy, DCLabel.Untrustworthy |
own | DCLabel.Trustworthy, DCLabel.Untrustworthy |
Principal | DCLabel.Trustworthy, DCLabel.Untrustworthy |
principal | DCLabel.Trustworthy, DCLabel.Untrustworthy |
Priv | DCLabel.Trustworthy, DCLabel.Untrustworthy |
privToLabel | DCLabel.Trustworthy, DCLabel.Untrustworthy |
secrecyDC | DCLabel.Trustworthy, DCLabel.Untrustworthy |
singleton | DCLabel.Trustworthy, DCLabel.Untrustworthy |
top | DCLabel.Trustworthy, DCLabel.Untrustworthy |