com.ibm.bluej.consistency.term

Class ExpandTerm

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CompositeTerm

com.ibm.bluej.consistency.term.Function

com.ibm.bluej.consistency.term.CheckTerm

com.ibm.bluej.consistency.term.ExpandTerm

All Implemented Interfaces:

Updatable, java.lang.Cloneable, java.lang.Comparable<ATerm>

Direct Known Subclasses:

ExGensym, ExInside, ExMember, ExSucc

public abstract class ExpandTerm
extends CheckTerm

Field Summary

Fields inherited from class com.ibm.bluej.consistency.term.Function

FOR_GCC, NO_LINK

Fields inherited from class com.ibm.bluej.consistency.term.CompositeTerm

EMPTY_TERM, parts

Constructor Summary

Constructors

Constructor and Description
ExpandTerm()

Method Summary

Methods

Modifier and Type	Method and Description
abstract int	estimateExpand(Binds binds)
abstract java.util.Iterator<Binds>	expand(Binds binds)

Methods inherited from class com.ibm.bluej.consistency.term.CheckTerm

checkConstant, clone, getValue

Methods inherited from class com.ibm.bluej.consistency.term.Function

addUsedBy, getUsedBy, ground, isFunctionFree, isReady, parserSetsFocusIndicator, toString, update, valueClone, valueEquals, valueHash, zzParserInitUsedBy

Methods inherited from class com.ibm.bluej.consistency.term.CompositeTerm

compareTo, isGround

Methods inherited from class com.ibm.bluej.consistency.term.ATerm

crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExpandTerm

public ExpandTerm()

Method Detail

estimateExpand

public abstract int estimateExpand(Binds binds)

expand

public abstract java.util.Iterator<Binds> expand(Binds binds)