my.entity
Class Konstante

java.lang.Object
  extended by my.entity.LiteralElement
      extended by my.entity.Konstante

public class Konstante
extends LiteralElement


Constructor Summary
Konstante()
           
Konstante(Konstante k)
           
 
Method Summary
 
Methods inherited from class my.entity.LiteralElement
clone, equals, getName, getString, isFunktion, isKonstante, isPraedikat, isVariable, setName, toString
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Konstante

public Konstante()

Konstante

public Konstante(Konstante k)