viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.security.solver
/
AtomicLabelTerm
/
confidentiality
confidentiality
abstract
override
fun
confidentiality
(
)
:
AtomicLabelTerm
Content copied to clipboard
Term that corresponds to performing
Label.confidentiality
.