Uses of Class
org.semanticweb.HermiT.tableau.GroundDisjunctionHeader.DisjunctIndexWithBacktrackings

Packages that use GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
org.semanticweb.HermiT.tableau   
 

Uses of GroundDisjunctionHeader.DisjunctIndexWithBacktrackings in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
protected  GroundDisjunctionHeader.DisjunctIndexWithBacktrackings[] GroundDisjunctionHeader.m_disjunctIndexesWithBacktrackings