It is sufficient to mixin this trait in a Domain that needs to get access to the
memory structures. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is
started/continued.
This member is added by an implicit conversion from TheMemoryLayout to
any2stringadd[TheMemoryLayout] performed by method any2stringadd in scala.Predef.
Mixin this trait if a domain needs access to the operands (Domain#OperandsArray) and/or locals (Domain#LocalsArray).
Usage
It is sufficient to mixin this trait in a Domain that needs to get access to the memory structures. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is started/continued.