|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface LabelEnv
Nested Class Summary | |
---|---|
static interface |
LabelEnv.SearchState
Encapsulates the solvers search state. |
Method Summary | |
---|---|
java.util.Map |
definitions(VarMap bounds,
java.util.Set seenComponents)
Returns a Map of Strings to List[String]s which is the descriptions of any components that appear in the environment. |
Label |
findUpperBound(Label L)
Finds an upper bound for L using the assertions in this environment. |
boolean |
hasVariables()
Do any of the assertions in this label environment contain variables? |
boolean |
isEmpty()
Is this enviornment empty, or does is contain some constraints? |
boolean |
leq(Label L1,
Label L2)
|
boolean |
leq(Label L1,
Label L2,
LabelEnv.SearchState state)
|
boolean |
leq(Policy p1,
Policy p2)
|
boolean |
leq(Policy p1,
Policy p2,
LabelEnv.SearchState state)
|
PrincipalHierarchy |
ph()
|
void |
setSolver(Solver solver)
Set the solver used for this Label Environment. |
Label |
triggerTransforms(Label label)
Trigger any writersToReaders transforms in label, and return the result. |
Method Detail |
---|
boolean leq(Label L1, Label L2)
boolean leq(Label L1, Label L2, LabelEnv.SearchState state)
boolean leq(Policy p1, Policy p2)
boolean leq(Policy p1, Policy p2, LabelEnv.SearchState state)
PrincipalHierarchy ph()
Label findUpperBound(Label L)
java.util.Map definitions(VarMap bounds, java.util.Set seenComponents)
Label triggerTransforms(Label label)
boolean isEmpty()
boolean hasVariables()
void setSolver(Solver solver)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |