org.semanticweb.HermiT.tableau
Class DatatypeManager.DVariable

java.lang.Object
  extended by 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

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

DatatypeManager.DVariable

protected DatatypeManager.DVariable()
Method Detail

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.