com.ibm.bluej.consistency

Class CheckNegatedGround

java.lang.Object

com.ibm.bluej.consistency.CheckNegatedGround

public class CheckNegatedGround
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CheckNegatedGround()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(IndexEntry ti)
void	clean()
IndexEntry	contains(ATerm t)
java.util.Iterator<IndexEntry>	getGroundTerms()
void	remove(ATerm t, boolean defined)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckNegatedGround

public CheckNegatedGround()

Method Detail

size

public int size()

clean

public void clean()

contains

public IndexEntry contains(ATerm t)

remove

public void remove(ATerm t,
          boolean defined)

add

public void add(IndexEntry ti)

getGroundTerms

public java.util.Iterator<IndexEntry> getGroundTerms()