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

Packages that use GroundDisjunctionHeader

Package	Description
org.semanticweb.HermiT.tableau

Uses of GroundDisjunctionHeader in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return GroundDisjunctionHeader

Modifier and Type	Method and Description
GroundDisjunctionHeader	GroundDisjunction.getGroundDisjunctionHeader()

Constructors in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunctionHeader

Constructor and Description
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)