| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.helpers | |
| uk.ac.manchester.cs.jfact.kernel |
| Modifier and Type | Method and Description |
|---|---|
MergableLabel |
DLVertex.getSort()
get RW access to the label
|
| Modifier and Type | Method and Description |
|---|---|
void |
DLVertex.merge(MergableLabel label)
merge local label to label LABEL
|
| Modifier and Type | Method and Description |
|---|---|
MergableLabel |
Role.getDomainLabel() |
MergableLabel |
Role.getRangeLabel() |
MergableLabel |
MergableLabel.resolve()
make label's depth lesser than or equal 2;
|
| Modifier and Type | Method and Description |
|---|---|
void |
MergableLabel.merge(MergableLabel p)
make 2 labels equal
|
void |
DLDag.merge(MergableLabel ml,
int p)
merge two given DAG entries
|
Copyright © 2016 The University of Manchester. All rights reserved.