org.semanticweb.HermiT.model
Class ExistsDescriptionGraph

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.ExistentialConcept
          extended by org.semanticweb.HermiT.model.ExistsDescriptionGraph
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class ExistsDescriptionGraph
extends ExistentialConcept
implements DLPredicate

See Also:
Serialized Form

Field Summary
protected  DescriptionGraph m_descriptionGraph
           
protected  int m_vertex
           
protected static InterningManager<ExistsDescriptionGraph> s_interningManager
           
 
Constructor Summary
protected ExistsDescriptionGraph(DescriptionGraph descriptionGraph, int vertex)
           
 
Method Summary
static ExistsDescriptionGraph create(DescriptionGraph descriptionGraph, int vertex)
           
 int getArity()
           
 DescriptionGraph getDescriptionGraph()
           
 int getVertex()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_descriptionGraph

protected final DescriptionGraph m_descriptionGraph

m_vertex

protected final int m_vertex

s_interningManager

protected static InterningManager<ExistsDescriptionGraph> s_interningManager
Constructor Detail

ExistsDescriptionGraph

protected ExistsDescriptionGraph(DescriptionGraph descriptionGraph,
                                 int vertex)
Method Detail

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)