|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |