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