org.semanticweb.HermiT.tableau
Class DatatypeManager.DVariable

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DatatypeManager.DVariable
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DatatypeManager

public static class DatatypeManager.DVariable
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  java.lang.Object m_dataValue
           
protected  java.util.List<java.lang.Object> m_explicitDataValues
           
protected  java.util.List<java.lang.Object> m_forbiddenDataValues
           
protected  boolean m_hasExplicitDataValues
           
protected  DatatypeRestriction m_mostSpecificRestriction
           
protected  java.util.List<ConstantEnumeration> m_negativeConstantEnumerations
           
protected  java.util.List<DatatypeRestriction> m_negativeDatatypeRestrictions
           
protected  DatatypeManager.DVariable m_nextEntry
           
protected  Node m_node
           
protected  java.util.List<ConstantEnumeration> m_positiveConstantEnumerations
           
protected  java.util.List<DatatypeRestriction> m_positiveDatatypeRestrictions
           
protected  java.util.List<DatatypeManager.DVariable> m_unequalTo
           
protected  java.util.List<DatatypeManager.DVariable> m_unequalToDirect
           
protected  ValueSpaceSubset m_valueSpaceSubset
           
 
Constructor Summary
protected DatatypeManager.DVariable()
           
 
Method Summary
protected  void addForbiddenDataValue(java.lang.Object forbiddenDataValue)
           
protected  void clearEqualities()
           
protected  void dispose()
           
protected static
<T> boolean
equals(java.util.List<T> first, java.util.List<T> second)
           
 java.util.List<DatatypeRestriction> getNegativeDatatypeRestrictions()
           
 java.util.List<ConstantEnumeration> getNegativeDataValueEnumerations()
           
 Node getNode()
           
 java.util.List<DatatypeRestriction> getPositiveDatatypeRestrictions()
           
 java.util.List<ConstantEnumeration> getPositiveDataValueEnumerations()
           
 java.util.List<DatatypeManager.DVariable> getUnequalToDirect()
           
 boolean hasCardinalityAtLeast(int number)
           
 boolean hasSameRestrictions(DatatypeManager.DVariable that)
           
 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_positiveConstantEnumerations

protected final java.util.List<ConstantEnumeration> m_positiveConstantEnumerations

m_negativeConstantEnumerations

protected final java.util.List<ConstantEnumeration> m_negativeConstantEnumerations

m_positiveDatatypeRestrictions

protected final java.util.List<DatatypeRestriction> m_positiveDatatypeRestrictions

m_negativeDatatypeRestrictions

protected final java.util.List<DatatypeRestriction> m_negativeDatatypeRestrictions

m_unequalTo

protected final java.util.List<DatatypeManager.DVariable> m_unequalTo

m_unequalToDirect

protected final java.util.List<DatatypeManager.DVariable> m_unequalToDirect

m_forbiddenDataValues

protected final java.util.List<java.lang.Object> m_forbiddenDataValues

m_explicitDataValues

protected final java.util.List<java.lang.Object> m_explicitDataValues

m_hasExplicitDataValues

protected boolean m_hasExplicitDataValues

m_mostSpecificRestriction

protected DatatypeRestriction m_mostSpecificRestriction

m_node

protected Node m_node

m_nextEntry

protected DatatypeManager.DVariable m_nextEntry

m_valueSpaceSubset

protected ValueSpaceSubset m_valueSpaceSubset

m_dataValue

protected java.lang.Object m_dataValue
Constructor Detail

DatatypeManager.DVariable

protected DatatypeManager.DVariable()
Method Detail

dispose

protected void dispose()

clearEqualities

protected void clearEqualities()

addForbiddenDataValue

protected void addForbiddenDataValue(java.lang.Object forbiddenDataValue)

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)

getNode

public Node getNode()

getPositiveDataValueEnumerations

public java.util.List<ConstantEnumeration> getPositiveDataValueEnumerations()

getNegativeDataValueEnumerations

public java.util.List<ConstantEnumeration> getNegativeDataValueEnumerations()

getPositiveDatatypeRestrictions

public java.util.List<DatatypeRestriction> getPositiveDatatypeRestrictions()

getNegativeDatatypeRestrictions

public java.util.List<DatatypeRestriction> getNegativeDatatypeRestrictions()

getUnequalToDirect

public java.util.List<DatatypeManager.DVariable> getUnequalToDirect()

hasSameRestrictions

public boolean hasSameRestrictions(DatatypeManager.DVariable that)

equals

protected static <T> boolean equals(java.util.List<T> first,
                                    java.util.List<T> second)

toString

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

toString

public java.lang.String toString(Prefixes prefixes)