Package de.jplag.semantics

Class Variable

java.lang.Object

de.jplag.semantics.Variable

public class Variable
extends Object

Each variable has its unique identity, important for tracing in graph (NormalizationGraph::spreadKeep).

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

toString

public String toString()

Overrides:

toString in class Object