org.opalj.ai.util
Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.
This object is thread-safe.
Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.
Thread Safety
This object is thread-safe.