org.semanticweb.HermiT.blocking

Class BlockingValidator

java.lang.Object

org.semanticweb.HermiT.blocking.BlockingValidator

public class BlockingValidator
extends Object

Checks whether the rules from some set are applicable given the current state of the extensions.

Constructor Summary

Constructors

Constructor and Description
BlockingValidator(Tableau tableau, Collection<DLClause> dlClauses)

Method Summary

Modifier and Type	Method and Description
void	blockerChanged(Node node)
void	clear() Clear.
boolean	isBlockValid(Node blocked)

Methods inherited from class java.lang.Object

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

Constructor Detail

BlockingValidator

public BlockingValidator(Tableau tableau,
                         Collection<DLClause> dlClauses)

Parameters:

tableau - tableau

dlClauses - dlClauses

Method Detail

clear

public void clear()

Clear.

blockerChanged

public void blockerChanged(Node node)

Parameters:

node - node

isBlockValid

public boolean isBlockValid(Node blocked)

Parameters:

blocked - blocked

Returns:

true if valid