org.semanticweb.HermiT.blocking
Class BlockingValidator.SimpleConsequenceAtom

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.BlockingValidator.SimpleConsequenceAtom
All Implemented Interfaces:
BlockingValidator.ConsequenceAtom
Enclosing class:
BlockingValidator

protected static class BlockingValidator.SimpleConsequenceAtom
extends java.lang.Object
implements BlockingValidator.ConsequenceAtom


Field Summary
protected  int[] m_argumentIndexes
           
protected  BlockingValidator.ArgumentType[] m_argumentTypes
           
protected  java.lang.Object[] m_assertionBuffer
           
 
Constructor Summary
BlockingValidator.SimpleConsequenceAtom(DLPredicate dlPredicate, BlockingValidator.ArgumentType[] argumentTypes, int[] argumentIndexes)
           
 
Method Summary
 boolean isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_assertionBuffer

protected final java.lang.Object[] m_assertionBuffer

m_argumentTypes

protected final BlockingValidator.ArgumentType[] m_argumentTypes

m_argumentIndexes

protected final int[] m_argumentIndexes
Constructor Detail

BlockingValidator.SimpleConsequenceAtom

public BlockingValidator.SimpleConsequenceAtom(DLPredicate dlPredicate,
                                               BlockingValidator.ArgumentType[] argumentTypes,
                                               int[] argumentIndexes)
Method Detail

isSatisfied

public boolean isSatisfied(ExtensionManager extensionManager,
                           BlockingValidator.DLClauseInfo dlClauseInfo,
                           Node nodeX)
Specified by:
isSatisfied in interface BlockingValidator.ConsequenceAtom

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object