|
|||||||||
| 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 | ||||||||