org.semanticweb.HermiT.model
Class NegatedAtomicRole

java.lang.Object
  extended by org.semanticweb.HermiT.model.NegatedAtomicRole

public class NegatedAtomicRole
extends java.lang.Object

Represents a negated atomic role


Field Summary
protected  AtomicRole m_negatedAtomicRole
           
protected static InterningManager<NegatedAtomicRole> s_interningManager
           
 
Constructor Summary
NegatedAtomicRole(AtomicRole negatedAtomicRole)
           
 
Method Summary
static NegatedAtomicRole create(AtomicRole negatedAtomicRole)
           
 AtomicRole getNegatedAtomicRole()
           
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_negatedAtomicRole

protected final AtomicRole m_negatedAtomicRole

s_interningManager

protected static InterningManager<NegatedAtomicRole> s_interningManager
Constructor Detail

NegatedAtomicRole

public NegatedAtomicRole(AtomicRole negatedAtomicRole)
Method Detail

getNegatedAtomicRole

public AtomicRole getNegatedAtomicRole()

toString

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

toString

public java.lang.String toString(Prefixes prefixes)

readResolve

protected java.lang.Object readResolve()

create

public static NegatedAtomicRole create(AtomicRole negatedAtomicRole)