src/ADT/Graph/Weighted.php
public function isEdge( $source, $target )
	{
		if( $source != $target )
		{
			if( $source->getNodeName() < $target->getNodeName() )
				return $this->edgeSet->isEdge( $source, $target );
			else
				return $this->edgeSet->isEdge( $target, $source );
		}
	}
public function isEdge( $source, $target )
	{
		if( $source != $target )
		{
			if( $source->getNodeName() < $target->getNodeName() )
				return $this->edgeSet->isEdge( $source, $target );
			else
				return $this->edgeSet->isEdge( $target, $source );
		}
	}
public function isEdge ( $ source , $ target ) { if ( $ source != $ target ) { if ( $ source -> getNodeName ( ) < $ target -> getNodeName ( ) ) return $ this -> edgeSet -> isEdge ( $ source , $ target ) ; else return $ this -> edgeSet -> isEdge ( $ target , $ source ) ; } }
Indicated whether an Edge is existing in this Graph.
@access		public
@param		ADT_Graph_Node	$source		Source Node of this Edge
@param		ADT_Graph_Node	$target		Target Node of this Edge
@return		bool
Indicated whether an Edge is existing in this Graph .