Uses of Interface
wyal.lang.SyntacticHeap

Packages that use SyntacticHeap

Package	Description
wyal.heap
wyal.lang
wytp.proof
wytp.proof.util

Uses of SyntacticHeap in wyal.heap

Classes in wyal.heap that implement SyntacticHeap

Modifier and Type	Class and Description
class	AbstractSyntacticHeap
class	StructurallyEquivalentHeap A structurally equivalent heap is one which maintains the "structural invariant".

Methods in wyal.heap that return SyntacticHeap

Modifier and Type	Method and Description
SyntacticHeap	AbstractSyntacticItem.getParent()

Methods in wyal.heap with parameters of type SyntacticHeap

Modifier and Type	Method and Description
void	AbstractSyntacticItem.allocate(SyntacticHeap heap, int index)

Constructors in wyal.heap with parameters of type SyntacticHeap

Constructor and Description
StructurallyEquivalentHeap(SyntacticHeap parent)

Uses of SyntacticHeap in wyal.lang

Classes in wyal.lang that implement SyntacticHeap

Modifier and Type	Class and Description
class	WyalFile

Methods in wyal.lang that return SyntacticHeap

Modifier and Type	Method and Description
SyntacticHeap	SyntacticItem.getParent() Get the enclosing compilation unit in which this syntactic item is contained.

Methods in wyal.lang with parameters of type SyntacticHeap

Modifier and Type	Method and Description
void	SyntacticItem.allocate(SyntacticHeap heap, int index) Allocated the given item to a syntactic heap.

Uses of SyntacticHeap in wytp.proof

Methods in wytp.proof that return SyntacticHeap

Modifier and Type	Method and Description
SyntacticHeap	Proof.getHeap() Get the heap in which this proof is operating within.

Uses of SyntacticHeap in wytp.proof.util

Fields in wytp.proof.util declared as SyntacticHeap

Modifier and Type	Field and Description
protected SyntacticHeap	AbstractProof.heap

Methods in wytp.proof.util that return SyntacticHeap

Modifier and Type	Method and Description
SyntacticHeap	AbstractProof.getHeap()

Constructors in wytp.proof.util with parameters of type SyntacticHeap

Constructor and Description
AbstractProof(WyalFile.Declaration.Assert assertion, SyntacticHeap heap)
DeltaProof(WyalFile.Declaration.Assert assertion, SyntacticHeap heap, Formula axiom)