# Package jif.types.hierarchy

- Interface Summary
  Interface | Description
  --- | ---
  LabelEnv | An environment of assertions about label relationships.
  LabelEnv.SearchState | Encapsulates the solvers search state.

- Class Summary
  Class | Description
  --- | ---
  LabelEnv_c | The wrapper of a set of assumptions that can be used to decide whether L1 <= L2.
  PrincipalHierarchy | The principal hierarchy that defines the acts-for relationships between principals.