g2d.terms

Class Variable

java.lang.Object

g2d.terms.Variable

public class Variable
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	name
Sort	sort

Constructor Summary

Constructors

Constructor and Description
Variable(java.lang.String name, Sort sort)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
static Variable	parseDeclaration(java.lang.String candidate, Sort superSort, Algebra algebra, java.lang.String[] reasons)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

sort

public final Sort sort

name

public final java.lang.String name

Constructor Detail

Variable

public Variable(java.lang.String name,
                Sort sort)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

parseDeclaration

public static Variable parseDeclaration(java.lang.String candidate,
                                        Sort superSort,
                                        Algebra algebra,
                                        java.lang.String[] reasons)