com.ibm.bluej.consistency.halfbaked

Class NonConstTermMap

java.lang.Object

com.ibm.bluej.consistency.halfbaked.NonConstTermMap

public class NonConstTermMap
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
NonConstTermMap()

Method Summary

Methods

Modifier and Type	Method and Description
void	addEntry(ATerm... terms)
void	modifiedEntry(ATerm... terms)
void	removeEntry(ATerm... terms)

Methods inherited from class java.lang.Object

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

Constructor Detail

NonConstTermMap

public NonConstTermMap()

Method Detail

addEntry

public void addEntry(ATerm... terms)

removeEntry

public void removeEntry(ATerm... terms)

modifiedEntry

public void modifiedEntry(ATerm... terms)