Class DataflowSolver<T,V extends IVariable<V>>

All Implemented Interfaces:
FixedPointConstants, IFixedPointSolver<V>, VerboseAction
Direct Known Subclasses:
BitVectorSolver, BooleanSolver

public abstract class DataflowSolver<T,V extends IVariable<V>> extends DefaultFixedPointSolver<V>
Iterative solver for a Killdall dataflow framework
  • Constructor Details

  • Method Details