org.semanticweb.HermiT.tableau
Class DatatypeManager.DVariable
java.lang.Object
org.semanticweb.HermiT.tableau.DatatypeManager.DVariable
- All Implemented Interfaces:
- Serializable
- Enclosing class:
- DatatypeManager
public static class DatatypeManager.DVariable
- extends Object
- implements Serializable
- See Also:
- Serialized Form
m_positiveConstantEnumerations
protected final List<ConstantEnumeration> m_positiveConstantEnumerations
m_negativeConstantEnumerations
protected final List<ConstantEnumeration> m_negativeConstantEnumerations
m_positiveDatatypeRestrictions
protected final List<DatatypeRestriction> m_positiveDatatypeRestrictions
m_negativeDatatypeRestrictions
protected final List<DatatypeRestriction> m_negativeDatatypeRestrictions
m_unequalTo
protected final List<DatatypeManager.DVariable> m_unequalTo
m_unequalToDirect
protected final List<DatatypeManager.DVariable> m_unequalToDirect
m_forbiddenDataValues
protected final List<Object> m_forbiddenDataValues
m_explicitDataValues
protected final List<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 Object m_dataValue
DatatypeManager.DVariable
protected DatatypeManager.DVariable()
dispose
protected void dispose()
clearEqualities
protected void clearEqualities()
addForbiddenDataValue
protected void addForbiddenDataValue(Object forbiddenDataValue)
hasCardinalityAtLeast
public boolean hasCardinalityAtLeast(int number)
getNode
public Node getNode()
getPositiveDataValueEnumerations
public List<ConstantEnumeration> getPositiveDataValueEnumerations()
getNegativeDataValueEnumerations
public List<ConstantEnumeration> getNegativeDataValueEnumerations()
getPositiveDatatypeRestrictions
public List<DatatypeRestriction> getPositiveDatatypeRestrictions()
getNegativeDatatypeRestrictions
public List<DatatypeRestriction> getNegativeDatatypeRestrictions()
getUnequalToDirect
public List<DatatypeManager.DVariable> getUnequalToDirect()
hasSameRestrictions
public boolean hasSameRestrictions(DatatypeManager.DVariable that)
equals
protected static <T> boolean equals(List<T> first,
List<T> second)
toString
public String toString()
- Overrides:
toString
in class Object
toString
public String toString(Prefixes prefixes)
Copyright © 2012. All Rights Reserved.