|
||||||||||
| 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 | |||||||||