g2d.terms

Class Constructor

java.lang.Object

g2d.terms.Constructor

public class Constructor
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.List<Sort>	args
int	arity
int	hashCode
java.lang.String	name
Sort	sort

Constructor Summary

Constructors

Constructor and Description
Constructor(java.lang.String[] maudeForm)
Constructor(java.lang.String name, int arity, Sort sort, Sort[] args)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Term	expand(Subsorter s)
int	hashCode()
boolean	isOK()
int	length()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final java.lang.String name

arity

public final int arity

sort

public final Sort sort

args

public final java.util.List<Sort> args

hashCode

public final int hashCode

Constructor Detail

Constructor

public Constructor(java.lang.String name,
                   int arity,
                   Sort sort,
                   Sort[] args)

Constructor

public Constructor(java.lang.String[] maudeForm)

Method Detail

length

public int length()

expand

public Term expand(Subsorter s)

isOK

public boolean isOK()

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