org.semanticweb.HermiT.tableau
Class GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
java.lang.Object
org.semanticweb.HermiT.tableau.GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
- Enclosing class:
- GroundDisjunctionHeader
protected static class GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_disjunctIndex
protected final int m_disjunctIndex
m_numberOfBacktrackings
protected int m_numberOfBacktrackings
GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
public GroundDisjunctionHeader.DisjunctIndexWithBacktrackings(int index)
Copyright © 2012. All Rights Reserved.