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

integrityComponent

open override val integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>
Content copied to clipboard

Returns a term representing the integrity component.