wyal.heap

Class StructurallyEquivalentHeap

java.lang.Object

wybs.util.AbstractSyntacticHeap

wyal.heap.StructurallyEquivalentHeap

All Implemented Interfaces:

wybs.lang.SyntacticHeap

public class StructurallyEquivalentHeap
extends wybs.util.AbstractSyntacticHeap
implements wybs.lang.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 wybs.util.AbstractSyntacticHeap

syntacticItems

Constructor Summary

Constructors

Constructor and Description
StructurallyEquivalentHeap(wybs.lang.SyntacticHeap parent)

Method Summary

Modifier and Type	Method and Description
<T extends wybs.lang.SyntacticItem> T	allocate(T item)
wybs.lang.SyntacticHeap	getParent()

Methods inherited from class wybs.util.AbstractSyntacticHeap

clone, cloneOnly, getAncestor, getIndexOf, getParent, getSyntacticItem, getSyntacticItems, print, size, substitute

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticHeap

getAncestor, getIndexOf, getParent, getSyntacticItem, size

Constructor Detail

StructurallyEquivalentHeap

public StructurallyEquivalentHeap(wybs.lang.SyntacticHeap parent)

Method Detail

getParent

public wybs.lang.SyntacticHeap getParent()

Specified by:

getParent in interface wybs.lang.SyntacticHeap

allocate

public <T extends wybs.lang.SyntacticItem> T allocate(T item)

Specified by:

allocate in interface wybs.lang.SyntacticHeap

Overrides:

allocate in class wybs.util.AbstractSyntacticHeap