| Interface | Description |
|---|---|
| IndexCanonizationStrategy | |
| IndexMaterializationStrategy | |
| IndexSymbol |
| Class | Description |
|---|---|
| AbstractIndexSymbol | |
| ConcreteIndexSymbol | |
| DefaultIndexMaterialization |
A IndexMaterializationStrategy that uses a fixed right-regular string grammar
given by the following rules:
X → sX
X → Z
Y → sY
Y → C
|
| Index | |
| IndexCanonizationStrategyImpl |
A IndexCanonizationStrategy that uses a fixed right-regular string grammar given by the following rules:
X → sX
X → Z
Y → sY
Y → C
Furthermore, abstraction is specialized towards features of AVL trees if a HeapConfiguration containsSubsumingState
selectors "left" and "right".
|
| IndexVariable |
Copyright © 2018. All rights reserved.