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:
- java.io.Serializable, DLPredicate
public class ExistsDescriptionGraph
- extends ExistentialConcept
- implements DLPredicate
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_descriptionGraph
protected final DescriptionGraph m_descriptionGraph
m_vertex
protected final int m_vertex
s_interningManager
protected static InterningManager<ExistsDescriptionGraph> s_interningManager
ExistsDescriptionGraph
protected ExistsDescriptionGraph(DescriptionGraph descriptionGraph,
int vertex)
getDescriptionGraph
public DescriptionGraph getDescriptionGraph()
getVertex
public int getVertex()
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
isAlwaysTrue
public boolean isAlwaysTrue()
- Specified by:
isAlwaysTrue
in class Concept
isAlwaysFalse
public boolean isAlwaysFalse()
- Specified by:
isAlwaysFalse
in class Concept
toString
public java.lang.String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
- Specified by:
toString
in class Concept
toString
public java.lang.String toString()
- Overrides:
toString
in class Concept
readResolve
protected java.lang.Object readResolve()
create
public static ExistsDescriptionGraph create(DescriptionGraph descriptionGraph,
int vertex)