compiler/edu.cornell.cs.apl.viaduct.security.solver/LabelVariable/LabelVariable

LabelVariable

fun LabelVariable(confidentialityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>, integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>)
Content copied to clipboard