org.semanticweb.HermiT.model
Class DataRange

java.lang.Object
  extended by org.semanticweb.HermiT.model.DataRange
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
LiteralDataRange

public abstract class DataRange
extends java.lang.Object
implements java.io.Serializable

Represents a data range in a DL clause.

See Also:
Serialized Form

Constructor Summary
DataRange()
           
 
Method Summary
 int getArity()
           
abstract  boolean isAlwaysFalse()
           
abstract  boolean isAlwaysTrue()
           
 java.lang.String toString()
           
abstract  java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DataRange

public DataRange()
Method Detail

isAlwaysTrue

public abstract boolean isAlwaysTrue()

isAlwaysFalse

public abstract boolean isAlwaysFalse()

getArity

public int getArity()

toString

public abstract java.lang.String toString(Prefixes prefixes)

toString

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