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:
Serializable

public class Variable
extends Term

Represents a variable.

See Also:
Serialized Form

Field Summary
protected  String m_name
           
protected static InterningManager<Variable> s_interningManager
           
 
Constructor Summary
protected Variable(String name)
           
 
Method Summary
static Variable create(String name)
           
 String getName()
           
protected  Object readResolve()
           
 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_name

protected final String m_name

s_interningManager

protected static InterningManager<Variable> s_interningManager
Constructor Detail

Variable

protected Variable(String name)
Method Detail

getName

public String getName()

toString

public String toString()
Overrides:
toString in class Object

toString

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

readResolve

protected Object readResolve()

create

public static Variable create(String name)


Copyright © 2012. All Rights Reserved.