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.