|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |