org.semanticweb.HermiT.model
Class AnnotatedEquality

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

public class AnnotatedEquality
extends java.lang.Object
implements DLPredicate, java.io.Serializable

Represents an annotated equality.

See Also:
Serialized Form

Field Summary
protected  int m_cardinality
           
protected  Role m_onRole
           
protected  LiteralConcept m_toConcept
           
protected static InterningManager<AnnotatedEquality> s_interningManager
           
 
Constructor Summary
protected AnnotatedEquality(int cardinality, Role onRole, LiteralConcept toConcept)
           
 
Method Summary
static AnnotatedEquality create(int cardinality, Role onRole, LiteralConcept toConcept)
           
 int getArity()
           
 int getCaridnality()
           
 Role getOnRole()
           
 LiteralConcept getToConcept()
           
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_cardinality

protected final int m_cardinality

m_onRole

protected final Role m_onRole

m_toConcept

protected final LiteralConcept m_toConcept

s_interningManager

protected static InterningManager<AnnotatedEquality> s_interningManager
Constructor Detail

AnnotatedEquality

protected AnnotatedEquality(int cardinality,
                            Role onRole,
                            LiteralConcept toConcept)
Method Detail

getCaridnality

public int getCaridnality()

getOnRole

public Role getOnRole()

getToConcept

public LiteralConcept getToConcept()

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate

readResolve

protected java.lang.Object readResolve()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in interface DLPredicate

create

public static AnnotatedEquality create(int cardinality,
                                       Role onRole,
                                       LiteralConcept toConcept)