org.semanticweb.HermiT.tableau
Class GroundDisjunctionHeader.DisjunctIndexWithBacktrackings

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
Enclosing class:
GroundDisjunctionHeader

protected static class GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
extends java.lang.Object


Field Summary
protected  int m_disjunctIndex
           
protected  int m_numberOfBacktrackings
           
 
Constructor Summary
GroundDisjunctionHeader.DisjunctIndexWithBacktrackings(int index)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_disjunctIndex

protected final int m_disjunctIndex

m_numberOfBacktrackings

protected int m_numberOfBacktrackings
Constructor Detail

GroundDisjunctionHeader.DisjunctIndexWithBacktrackings

public GroundDisjunctionHeader.DisjunctIndexWithBacktrackings(int index)