org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.CopyValues

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.CopyValues
All Implemented Interfaces:
Serializable, DLClauseEvaluator.Worker
Enclosing class:
DLClauseEvaluator

protected static final class DLClauseEvaluator.CopyValues
extends Object
implements DLClauseEvaluator.Worker, Serializable

See Also:
Serialized Form

Field Summary
protected  Object[] m_fromBuffer
           
protected  int m_fromIndex
           
protected  Object[] m_toBuffer
           
protected  int m_toIndex
           
 
Constructor Summary
DLClauseEvaluator.CopyValues(Object[] fromBuffer, int fromIndex, Object[] toBuffer, int toIndex)
           
 
Method Summary
 int execute(int programCounter)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_fromBuffer

protected final Object[] m_fromBuffer

m_fromIndex

protected final int m_fromIndex

m_toBuffer

protected final Object[] m_toBuffer

m_toIndex

protected final int m_toIndex
Constructor Detail

DLClauseEvaluator.CopyValues

public DLClauseEvaluator.CopyValues(Object[] fromBuffer,
                                    int fromIndex,
                                    Object[] toBuffer,
                                    int toIndex)
Method Detail

execute

public int execute(int programCounter)
Specified by:
execute in interface DLClauseEvaluator.Worker

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.