dk.brics.tajs.lattice

Interface LocalContext.Qualifier

All Known Implementing Classes:

LocalContext.LoopUnrollingQualifier

Enclosing class:

LocalContext

public static interface LocalContext.Qualifier

Qualifier for local contexts. Implementations should implement structural equality in their LocalContext.equals(Object) method.