add an edge . concode_field_sep HashMap<APElement,MyBitSet> _container concode_elem_sep NBA _graph concode_elem_sep NBA_State _state concode_elem_sep boolean _isFinal concode_elem_sep EdgeManager _edge_manager concode_elem_sep String _description concode_elem_sep int _apset_size concode_field_sep Iterator<Map.Entry<APElement,MyBitSet>> iterator concode_elem_sep int getName concode_elem_sep void addEdges concode_elem_sep void addEdges concode_elem_sep NBA getGraph concode_elem_sep HashMap<APElement,MyBitSet> getEdgeContainer concode_elem_sep boolean hasDescription concode_elem_sep void setDescription concode_elem_sep boolean isFinal concode_elem_sep MyBitSet getEdge concode_elem_sep MyBitSet getEdge concode_elem_sep String getDescription concode_elem_sep void setFinal concode_elem_sep Iterator<Integer> successorIterator
void function ( APMonom arg0 , NBA_State arg1 ) { APSet loc0 = _state . getGraph ( ) . getAPSet ( ) ; for ( Iterator < APElement > loc1 = arg0 . APElementIterator ( loc0 ) ; loc1 . hasNext ( ) ; ) { APElement loc2 = loc1 . next ( ) ; addEdge ( loc2 , arg1 ) ; } }