org.semanticweb.HermiT.model
Class Variable
java.lang.Object
org.semanticweb.HermiT.model.Term
org.semanticweb.HermiT.model.Variable
- All Implemented Interfaces:
- java.io.Serializable
public class Variable
- extends Term
Represents a variable.
- See Also:
- Serialized Form
Constructor Summary |
protected |
Variable(java.lang.String name)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_name
protected final java.lang.String m_name
s_interningManager
protected static InterningManager<Variable> s_interningManager
Variable
protected Variable(java.lang.String name)
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)