cppCreAEdge

//****************************************************************************
// Date:	November 28, 1995
// 
//****************************************************************************
//
// Changes:
// Date:
//
//****************************************************************************
// 
// This propagation pattern creates an Alternation Edge. It is passed in the  
// Source and Destination Vertex Name.
//
//****************************************************************************



(@
#include <iostream.h>
#include <strstream.h>
@)

*operation* void cppCreAEdge(char* SourceVertexLabelName, 
			     char* DestinationVertexLabelName)

*wrapper* Graph
(@	AltEdge* temp = (AltEdge*) defaultAltEdge->g_copy();
         	 temp->fill_in_edge_source(SourceVertexLabelName, this);
         	 temp->fill_in_edge_destination(DestinationVertexLabelName, 
						this);

  	 	 this->get_edges()->append(temp); 	@)