g2d.terms

Class VarTerm

java.lang.Object

g2d.terms.Term

g2d.terms.VarTerm

public class VarTerm
extends Term

Field Summary

Fields

Modifier and Type	Field and Description
int	hashCode
Variable	variable

Constructor Summary

Constructors

Constructor and Description
VarTerm(Variable variable)

Method Summary

Modifier and Type	Method and Description
Term	copy()
boolean	equals(java.lang.Object obj)
Term	expand(int hi, Term term, Subsorter s)
Term	expand(Term old_term, Term new_term, Subsorter s)
static VarTerm	fromStrings(java.lang.String varName, java.lang.String sortName)
int	getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
int	getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	hashCode()
int	holeCount()
int	length()
int	rank()
Sort	sort()
java.util.Set<Term>	subterms()
void	toStringBuffer(java.lang.StringBuffer sb)

Methods inherited from class g2d.terms.Term

expand, expand, expand, expand, getHolePositions, getSubtermPositions, parse, parseArray, parseConstructor, parseString, parseVariable, toString

Methods inherited from class java.lang.Object

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

Field Detail

variable

public final Variable variable

hashCode

public final int hashCode

Constructor Detail

VarTerm

public VarTerm(Variable variable)

Method Detail

sort

public Sort sort()

Specified by:

sort in class Term

subterms

public java.util.Set<Term> subterms()

Specified by:

subterms in class Term

toStringBuffer

public void toStringBuffer(java.lang.StringBuffer sb)

Specified by:

toStringBuffer in class Term

length

public int length()

Specified by:

length in class Term

rank

public int rank()

Specified by:

rank in class Term

holeCount

public int holeCount()

Specified by:

holeCount in class Term

copy

public Term copy()

Specified by:

copy in class Term

expand

public Term expand(int hi,
                   Term term,
                   Subsorter s)

Specified by:

expand in class Term

expand

public Term expand(Term old_term,
                   Term new_term,
                   Subsorter s)

Specified by:

expand in class Term

getHolePositions

public int getHolePositions(int offset,
                            java.util.ArrayList<HolePosition> retval)

Specified by:

getHolePositions in class Term

getSubtermPositions

public int getSubtermPositions(int offset,
                               Sort sort,
                               java.util.ArrayList<TermPosition> retval)

Specified by:

getSubtermPositions in class Term

fromStrings

public static VarTerm fromStrings(java.lang.String varName,
                                  java.lang.String sortName)

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