com.ibm.bluej.consistency.term.corefunc

Class ExSucc

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

com.ibm.bluej.consistency.term.corefunc.ExSucc

All Implemented Interfaces:

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

public class ExSucc
extends ExpandTerm

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
ExSucc()

Method Summary

Methods

Modifier and Type	Method and Description
int	estimateExpand(Binds binds)
java.util.Iterator<Binds>	expand(Binds binds)
void	update(Function source, java.lang.Object... msg)

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, 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

ExSucc

public ExSucc()

Method Detail

estimateExpand

public int estimateExpand(Binds binds)

Specified by:

estimateExpand in class ExpandTerm

expand

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

Specified by:

expand in class ExpandTerm

update

public void update(Function source,
          java.lang.Object... msg)

Specified by:

update in interface Updatable

Specified by:

update in class Function