standup.unify
Class UnifiableVariable

java.lang.Object
  standup.unify.UnifiableVariable

All Implemented Interfaces:

Unifiable

public class UnifiableVariable
extends Object
implements Unifiable

Represents a unifiable variable.

Author:

Ruli Manurung

Field Summary

private String

label

Constructor Summary

UnifiableVariable(String l)

Method Summary

UnifiableVariable	duplicate()
boolean	equals(Object obj)
String	getLabel()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

label

private String label

Constructor Detail

UnifiableVariable

public UnifiableVariable(String l)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

getLabel

public String getLabel()

duplicate

public UnifiableVariable duplicate()

Specified by:

duplicate in interface Unifiable