void function ( DiGraph < N , E > arg0 ) { Set < N > loc0 = new HashSet < > ( ) ; for ( DiGraphNode < N , E > loc1 : arg0 . getDirectedGraphNodes ( ) ) { loc0 . add ( loc1 . getValue ( ) ) ; } computeFixedPoint ( arg0 , loc0 ) ; }
compute a fixed point for the given graph . concode_field_sep String NON_HALTING_ERROR_MSG concode_elem_sep EdgeCallback<N,E> callback concode_field_sep FixedPointGraphTraversal<NODE,EDGE> newTraversal concode_elem_sep boolean traverseEdge