org.semanticweb.HermiT.tableau
Class DatatypeManager.DVariable
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
DatatypeManager.DVariable
protected DatatypeManager.DVariable()
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)