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

swap

open override fun swap(): AtomicLabelTerm
Content copied to clipboard

The term that corresponds to performing Label.swap.