com.ibm.bluej.consistency.term

Interface OriginatingTermCollection

All Superinterfaces:

FormulaCreate

All Known Implementing Classes:

Bag, FormulaTermCollection, TermSet

public interface OriginatingTermCollection
extends FormulaCreate

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ADD
static java.lang.String	MOD
static java.lang.String	REM

Method Summary

Methods

Modifier and Type	Method and Description
void	addEndpointFunctions(com.ibm.bluej.util.common.IdentitySet<Updatable> ends, boolean print)
void	addMember(ATerm t)
void	removeMember(ATerm t)

Methods inherited from interface com.ibm.bluej.consistency.formula.FormulaCreate

add, drop, dropConditional, getWeight, isGarbage

Field Detail

ADD

static final java.lang.String ADD

See Also:

Constant Field Values

REM

static final java.lang.String REM

See Also:

Constant Field Values

MOD

static final java.lang.String MOD

See Also:

Constant Field Values

Method Detail

addMember

void addMember(ATerm t)

removeMember

void removeMember(ATerm t)

addEndpointFunctions

void addEndpointFunctions(com.ibm.bluej.util.common.IdentitySet<Updatable> ends,
                        boolean print)