/* BSD 2-Clause License - see OPAL/LICENSE for details. */
package org.opalj
package ai

/**
 * Provides basic support for tracking the correlation between domain values stored in
 * different registers/in different stack slots.
 *
 * @author Michael Eichberg
 */
trait CorrelationalDomainSupport
    extends JoinStabilization
    with IdentityBasedCorrelationChangeDetection