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

/**
 * A [[Domain]] that supports the tracking of correlations between values.
 *
 * @author Michael Eichberg
 */
trait CorrelationalDomain extends Domain with CorrelationalDomainSupport