Makes the instance of the abstract interpreter that performs the
abstract interpretation available to the domain.
Usage
It is sufficient to mixin this trait in a Domain that needs to access the abstract
interpreter. The abstract interpreter will then perform the initialization.
The concrete instance of AI that performs the abstract interpretation is set
immediately before the abstract interpretation is started/continued.
Linear Supertypes
AnyRef, Any
Ordering
Alphabetic
By Inheritance
Inherited
TheAI
AnyRef
Any
Implicitly
by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc
Hide All
Show All
Visibility
Public
All
Value Members
final def!=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def##(): Int
Definition Classes
AnyRef → Any
def+(other: String): String
Implicit information
This member is added by an implicit conversion from TheAI[D] to
any2stringadd[TheAI[D]] performed by method any2stringadd in scala.Predef.
Makes the instance of the abstract interpreter that performs the abstract interpretation available to the domain.
Usage
It is sufficient to mixin this trait in a Domain that needs to access the abstract interpreter. The abstract interpreter will then perform the initialization.
The concrete instance of AI that performs the abstract interpretation is set immediately before the abstract interpretation is started/continued.