ua.gradsoft.termware
Class TermHolder

java.lang.Object
  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)