Package

org.opalj.ai.dataflow

solver

Permalink

package solver

Visibility
  1. Public
  2. All

Type Members

  1. trait BaseDomain[Source] extends CorrelationalDomain with DefaultDomainValueBinding with TheProject with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with DefaultTypeLevelLongValues with DefaultClassValuesBinding with DefaultIntegerRangeValues

    Permalink
  2. trait NaiveSolver[Source, Params] extends DataFlowProblemSolver[Source, Params]

    Permalink

    Implements the infrastructure for solving a data-flow problem.

Ungrouped