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