| Interface | Description |
|---|---|
| LabelEnv |
An environment of assertions about label relationships.
|
| LabelEnv.SearchState |
Encapsulates the solvers search state.
|
| 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.
|