org.semanticweb.HermiT.blocking
Class BlockingValidator.SimpleConsequenceAtom
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_assertionBuffer
protected final java.lang.Object[] m_assertionBuffer
m_argumentTypes
protected final BlockingValidator.ArgumentType[] m_argumentTypes
m_argumentIndexes
protected final int[] m_argumentIndexes
BlockingValidator.SimpleConsequenceAtom
public BlockingValidator.SimpleConsequenceAtom(DLPredicate dlPredicate,
BlockingValidator.ArgumentType[] argumentTypes,
int[] argumentIndexes)
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