org.semanticweb.HermiT.model
Class Variable

java.lang.Object
  extended by org.semanticweb.HermiT.model.Term
      extended by org.semanticweb.HermiT.model.Variable
All Implemented Interfaces:
java.io.Serializable

public class Variable
extends Term

Represents a variable.

See Also:
Serialized Form

Field Summary
protected  java.lang.String m_name
           
protected static InterningManager<Variable> s_interningManager
           
 
Constructor Summary
protected Variable(java.lang.String name)
           
 
Method Summary
static Variable create(java.lang.String name)
           
 java.lang.String getName()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_name

protected final java.lang.String m_name

s_interningManager

protected static InterningManager<Variable> s_interningManager
Constructor Detail

Variable

protected Variable(java.lang.String name)
Method Detail

getName

public java.lang.String getName()

toString

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

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class Term

readResolve

protected java.lang.Object readResolve()

create

public static Variable create(java.lang.String name)