//
// ar_print.pp
//
// prints the alternation reachable sets for each vertex in the list
// of vertices
//

*operation* void ar_print(Ar_Vertex_list* ar_list) 
  *traverse* *from* Vertex_comma_list *to* Vertex
  *wrapper* Vertex
    *suffix* (@ cout << "A(" ;
                g_print();
                cout  << ") = {" ;
                (ar_list->ar_lookup(this))->g_print();
                cout << "}" << endl;
             @)