ua.gradsoft.termware
Class TermHolder

java.lang.Object
  extended by ua.gradsoft.termware.TermHolder

public final class TermHolder
extends Object

Holder for Term


Constructor Summary
TermHolder(Term value)
           
 
Method Summary
 Term get()
           
 Term getValue()
           
 void set(Term value)
           
 void setValue(Term value)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TermHolder

public TermHolder(Term value)
Method Detail

getValue

public Term getValue()

get

public Term get()

setValue

public void setValue(Term value)

set

public void set(Term value)