public static class KeYParser.accessterm_bracket_suffix_return
extends org.antlr.runtime.ParserRuleReturnScope
Modifier and Type | Field and Description |
---|---|
boolean |
increaseHeapSuffixCounter |
Term |
result |
Constructor and Description |
---|
accessterm_bracket_suffix_return() |
public Term result
public boolean increaseHeapSuffixCounter