org.mindswap.pellet.tableau.blocking

Class Block2

java.lang.Object

org.mindswap.pellet.tableau.blocking.Block2

All Implemented Interfaces:

BlockingCondition

public class Block2
extends Object
implements BlockingCondition

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
Block2()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isBlocked(BlockingContext cxt) Check if the blocker candidate in this context actually blocks the other individual.
protected boolean	isBlockedByChain(BlockingContext cxt, aterm.ATermList chain, aterm.ATermAppl c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Block2

public Block2()

Method Detail

isBlocked

public boolean isBlocked(BlockingContext cxt)

Description copied from interface: BlockingCondition

Check if the blocker candidate in this context actually blocks the other individual.

Specified by:

isBlocked in interface BlockingCondition

Parameters:

cxt - the current blocking context

Returns:

true if the individual is blocked

isBlockedByChain

protected boolean isBlockedByChain(BlockingContext cxt,
                       aterm.ATermList chain,
                       aterm.ATermAppl c)