jif.types.hierarchy

Interfaces  LabelEnv LabelEnv.SearchState

Classes  LabelEnv_c PrincipalHierarchy