com.teacode.meta2.dterm.term
Class VarTerm

java.lang.Object
  com.teacode.meta2.dterm.term.Term
      com.teacode.meta2.dterm.term.AtomicTerm
          com.teacode.meta2.dterm.term.NameTerm
              com.teacode.meta2.dterm.term.VarTerm

public class VarTerm
extends NameTerm

Author:

Anton Malykh

Constructor Summary

VarTerm()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VarTerm

public VarTerm()