dobfs functors outline
finished dobfs functor. updated backward edge map. changed frontier_map to boolean.