Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package jif.types.hierarchy

Interface Summary
LabelEnv |
LabelEnv.SearchState | Encapsulates the solvers search state.

Class Summary
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.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES