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

Packages that use ExistsDescriptionGraph
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of ExistsDescriptionGraph in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model with type parameters of type ExistsDescriptionGraph
protected static InterningManager<ExistsDescriptionGraph> ExistsDescriptionGraph.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return ExistsDescriptionGraph
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
 void DescriptionGraphManager.expand(ExistsDescriptionGraph existsDescriptionGraph, Node forNode)
           
 boolean DescriptionGraphManager.isSatisfied(ExistsDescriptionGraph existsDescriptionGraph, Node node)