| Interface | Description |
|---|---|
| HeapAutomaton | |
| RefinedNonterminal |
A symbol that is annotated with a heap automaton state.
|
| StatelessHeapAutomaton |
A very simplified heap automaton that has exactly one state.
|
| Class | Description |
|---|---|
| AutomatonStateLabelingStrategy | |
| AutomatonStateLabelingStrategyBuilder | |
| BundledStateRefinementStrategy | |
| HeapAutomatonState |
Copyright © 2019. All rights reserved.