Uses of Class
org.semanticweb.HermiT.model.ExistsDescriptionGraph

Packages that use ExistsDescriptionGraph

Package	Description
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of ExistsDescriptionGraph in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return ExistsDescriptionGraph

Modifier and Type	Method and Description
static ExistsDescriptionGraph	ExistsDescriptionGraph.create(DescriptionGraph descriptionGraph, int vertex)

Uses of ExistsDescriptionGraph in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type ExistsDescriptionGraph

Modifier and Type	Method and Description
void	DescriptionGraphManager.expand(ExistsDescriptionGraph existsDescriptionGraph, Node forNode)
boolean	DescriptionGraphManager.isSatisfied(ExistsDescriptionGraph existsDescriptionGraph, Node node)