org.mindswap.pellet.tableau.blocking

Class Block4

java.lang.Object

org.mindswap.pellet.tableau.blocking.Block4

All Implemented Interfaces:

BlockingCondition

public class Block4
extends Object
implements BlockingCondition

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
Block4()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Block4

public Block4()

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

block4

protected boolean block4(BlockingContext cxt,
             aterm.ATermAppl term)