Package | Description |
---|---|
uk.ac.ox.cs.diadem.oxpath.utils |
Modifier and Type | Method and Description |
---|---|
ActionStackElement |
ActionStackElement.increment()
Used when the current action is skipped and the previous action is returned (preserving the action requires a new
element on the stack).
|
Copyright © 2020 OXPath Team. All rights reserved.