org.semanticweb.HermiT.model

Class ExistsDescriptionGraph

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.ExistentialConcept

org.semanticweb.HermiT.model.ExistsDescriptionGraph

All Implemented Interfaces:

Serializable, DLPredicate

public class ExistsDescriptionGraph
extends ExistentialConcept
implements DLPredicate

ExistsDescriptionGraph.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static ExistsDescriptionGraph	create(DescriptionGraph descriptionGraph, int vertex)
int	getArity()
DescriptionGraph	getDescriptionGraph()
int	getVertex()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getDescriptionGraph

public DescriptionGraph getDescriptionGraph()

Returns:

description graph

getVertex

public int getVertex()

Returns:

vertex

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class Concept

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class Concept

Returns:

true if always false

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class Concept

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Concept

create

public static ExistsDescriptionGraph create(DescriptionGraph descriptionGraph,
                                            int vertex)

Parameters:

descriptionGraph - descriptionGraph

vertex - vertex

Returns:

description graph