|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tableau.completion.incremental.DependencyEntry
public class DependencyEntry
Structure for containing all dependencies for a given assertion. This is the object stored in the dependency index
| Constructor Summary | |
|---|---|
DependencyEntry()
Default constructor |
|
| Method Summary | |
|---|---|
DependencyEntry |
copy()
|
java.util.Set<BranchAddDependency> |
getBranchAdds()
Get branches |
ClashDependency |
getClash()
Get clash dependency |
java.util.Set<CloseBranchDependency> |
getCloseBranches()
Get the close branches for this entry |
java.util.Set<Edge> |
getEdges()
Get edges |
java.util.Set<MergeDependency> |
getMerges()
Get merges |
java.util.Set<TypeDependency> |
getTypes()
Get types |
void |
print()
Helper method to print all dependencies TODO: this print is not complete |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DependencyEntry()
| Method Detail |
|---|
public DependencyEntry copy()
public void print()
public java.util.Set<Edge> getEdges()
public java.util.Set<MergeDependency> getMerges()
public java.util.Set<TypeDependency> getTypes()
public java.util.Set<BranchAddDependency> getBranchAdds()
public java.util.Set<CloseBranchDependency> getCloseBranches()
public ClashDependency getClash()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||