|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NodeMerge | |
---|---|
org.mindswap.pellet | |
org.mindswap.pellet.tableau.branch |
Uses of NodeMerge in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return NodeMerge | |
---|---|
NodeMerge |
Literal.getMergeToConstant()
|
Methods in org.mindswap.pellet that return types with arguments of type NodeMerge | |
---|---|
java.util.List<NodeMerge> |
ABox.getToBeMerged()
|
Uses of NodeMerge in org.mindswap.pellet.tableau.branch |
---|
Constructor parameters in org.mindswap.pellet.tableau.branch with type arguments of type NodeMerge | |
---|---|
MaxBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int n,
aterm.ATermAppl qualification,
java.util.List<NodeMerge> mergePairs,
DependencySet ds)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |