g2d.terms

Class HoleTerm

java.lang.Object

g2d.terms.Term

g2d.terms.HoleTerm

public class HoleTerm
extends Term

Field Summary

Fields

Modifier and Type	Field and Description
int	hashCode
Hole	hole

Constructor Summary

Constructors

Constructor and Description
HoleTerm(Hole hole)

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 HoleTerm	fromSort(Sort sort)
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

hole

public final Hole hole

hashCode

public final int hashCode

Constructor Detail

HoleTerm

public HoleTerm(Hole hole)

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

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

fromSort

public static HoleTerm fromSort(Sort sort)