openlist.incremental.util (OpenList)