wyal.heap

Class StructurallyEquivalentHeap

java.lang.Object

wyal.heap.AbstractSyntacticHeap

wyal.heap.StructurallyEquivalentHeap

All Implemented Interfaces:

SyntacticHeap

public class StructurallyEquivalentHeap
extends AbstractSyntacticHeap
implements SyntacticHeap

A structurally equivalent heap is one which maintains the "structural invariant". Namely, that any two items which are structurally equivalent are, in fact, the same item.

Author:

David J. Pearce

Field Summary

Fields inherited from class wyal.heap.AbstractSyntacticHeap

syntacticItems

Constructor Summary

Constructors

Constructor and Description
StructurallyEquivalentHeap(SyntacticHeap parent)

Method Summary

Modifier and Type	Method and Description
<T extends SyntacticItem> T	allocate(T item) Allocate a given syntactic item into this heap.

Methods inherited from class wyal.heap.AbstractSyntacticHeap

getIndexOf, getSyntacticItem, getSyntacticItems, print, size

Methods inherited from class java.lang.Object

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

Methods inherited from interface wyal.lang.SyntacticHeap

getIndexOf, getSyntacticItem, size

Constructor Detail

StructurallyEquivalentHeap

public StructurallyEquivalentHeap(SyntacticHeap parent)

Method Detail

allocate

public <T extends SyntacticItem> T allocate(T item)

Description copied from interface: SyntacticHeap

Allocate a given syntactic item into this heap. The item must not already be allocated to another heap. This will recursively allocate children not already allocated to this heap. Observe that the item returned is the actual object allocated into this heap. One should not assume that the item given is that which is actually allocated.

This method will not permit mixed allocation items. That is, when it encounters an item already allocated to another heap it will simple throw an exception.

Specified by:

allocate in interface SyntacticHeap

Overrides:

allocate in class AbstractSyntacticHeap

Returns: