| Package | Description |
|---|---|
| org.mindswap.pellet.tableau.blocking |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
Block4.block4(BlockingContext cxt,
aterm.ATermAppl term) |
boolean |
Block3.isBlocked(BlockingContext cxt) |
boolean |
Block4.isBlocked(BlockingContext cxt) |
boolean |
Block2.isBlocked(BlockingContext cxt) |
boolean |
Block6.isBlocked(BlockingContext cxt) |
boolean |
Block1.isBlocked(BlockingContext cxt) |
boolean |
BlockingCondition.isBlocked(BlockingContext cxt)
Check if the blocker candidate in this context actually blocks the other
individual.
|
boolean |
Block5.isBlocked(BlockingContext cxt) |
protected boolean |
Block2.isBlockedByChain(BlockingContext cxt,
aterm.ATermList chain,
aterm.ATermAppl c) |
boolean |
DoubleBlocking.isDirectlyBlockedBy(BlockingContext cxt) |
boolean |
SubsetBlocking.isDirectlyBlockedBy(BlockingContext cxt) |
boolean |
OptimizedDoubleBlocking.isDirectlyBlockedBy(BlockingContext cxt) |
boolean |
EqualityBlocking.isDirectlyBlockedBy(BlockingContext cxt) |
protected abstract boolean |
Blocking.isDirectlyBlockedBy(BlockingContext cxt) |
protected boolean |
Blocking.isDirectlyBlockedByDescendant(BlockingContext cxt) |
Copyright © 2019. All rights reserved.