| Class | Description |
|---|---|
| DefaultProgramState |
Simple implementation of program states for HRG-based analysis.
|
| RefinedDefaultNonterminal |
A nonterminal symbol that is additionally annotated with a state of a heap automaton.
|
Copyright © 2018. All rights reserved.