wyal.heap

Classes

• StructurallyEquivalentHeap
• SyntacticHeaps