org.semanticweb.HermiT.tableau

Class DatatypeManager.DVariable

java.lang.Object

org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

All Implemented Interfaces:

Serializable, Comparable<DatatypeManager.DVariable>

Enclosing class:

DatatypeManager

public static class DatatypeManager.DVariable
extends Object
implements Serializable, Comparable<DatatypeManager.DVariable>

DVariable.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DVariable()

Method Summary

Modifier and Type	Method and Description
int	compareTo(DatatypeManager.DVariable o)
List<DatatypeRestriction>	getNegativeDatatypeRestrictions()
List<ConstantEnumeration>	getNegativeDataValueEnumerations()
Node	getNode()
List<DatatypeRestriction>	getPositiveDatatypeRestrictions()
List<ConstantEnumeration>	getPositiveDataValueEnumerations()
List<DatatypeManager.DVariable>	getUnequalToDirect()
boolean	hasSameRestrictions(DatatypeManager.DVariable that)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DVariable

public DVariable()

Method Detail

compareTo

public int compareTo(DatatypeManager.DVariable o)

Specified by:

compareTo in interface Comparable<DatatypeManager.DVariable>

getNode

public Node getNode()

Returns:

node

getPositiveDataValueEnumerations

public List<ConstantEnumeration> getPositiveDataValueEnumerations()

Returns:

positive enumerations

getNegativeDataValueEnumerations

public List<ConstantEnumeration> getNegativeDataValueEnumerations()

Returns:

negative enumerations

getPositiveDatatypeRestrictions

public List<DatatypeRestriction> getPositiveDatatypeRestrictions()

Returns:

positive restrictions

getNegativeDatatypeRestrictions

public List<DatatypeRestriction> getNegativeDatatypeRestrictions()

Returns:

negative restrictions

getUnequalToDirect

public List<DatatypeManager.DVariable> getUnequalToDirect()

Returns:

unequal to direct

hasSameRestrictions

public boolean hasSameRestrictions(DatatypeManager.DVariable that)

Parameters:

that - that

Returns:

true if same restrictions

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString