Uses of Class
org.mindswap.pellet.tableau.blocking.BlockingContext

Packages that use BlockingContext

Package	Description
org.mindswap.pellet.tableau.blocking

Uses of BlockingContext in org.mindswap.pellet.tableau.blocking

Methods in org.mindswap.pellet.tableau.blocking with parameters of type BlockingContext

Modifier and Type	Method and Description
protected boolean	Block4.block4(BlockingContext cxt, aterm.ATermAppl term)
boolean	Block2.isBlocked(BlockingContext cxt)
boolean	BlockingCondition.isBlocked(BlockingContext cxt) Check if the blocker candidate in this context actually blocks the other individual.
boolean	Block4.isBlocked(BlockingContext cxt)
boolean	Block1.isBlocked(BlockingContext cxt)
boolean	Block6.isBlocked(BlockingContext cxt)
boolean	Block3.isBlocked(BlockingContext cxt)
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)
protected abstract boolean	Blocking.isDirectlyBlockedBy(BlockingContext cxt)
boolean	OptimizedDoubleBlocking.isDirectlyBlockedBy(BlockingContext cxt)
boolean	EqualityBlocking.isDirectlyBlockedBy(BlockingContext cxt)
protected boolean	Blocking.isDirectlyBlockedByDescendant(BlockingContext cxt)