Thu Jul 6 16:23:05 WEST 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Multiple edges between 2 agents but at different ports.
Fixed a bug that was forbidding 2 agents of arity n>1 of having multiple edges between them since they were at disjoint ports.
{
hunk ./src/NetworkFile.hs 422
--- there are no edges that start and end in the same node
+-- there are no edges that start and end in the same pair (node, port)
hunk ./src/NetworkFile.hs 425
- | fromNr == toNr =
+ | (fromNr, fromPort) == (toNr, toPort) =
hunk ./src/NetworkFile.hs 431
- fromNr = getEdgeFrom edge
- toNr = getEdgeTo edge
+ fromNr = getEdgeFrom edge
+ fromPort = getPortFrom edge
+ toNr = getEdgeTo edge
+ toPort = getPortTo edge
hunk ./src/NetworkFile.hs 445
- (getEdgeFrom e1 == getEdgeFrom e2 && getEdgeTo e1 == getEdgeTo e2)
+ ( getEdgeFrom e1 == getEdgeFrom e2 && getEdgeTo e1 == getEdgeTo e2 [_$_]
+ && getPortFrom e1 == getPortFrom e2 && getPortTo e1 == getPortTo e2 )
hunk ./src/NetworkFile.hs 448
- (getEdgeFrom e1 == getEdgeTo e2 && getEdgeTo e1 == getEdgeFrom e1)
+ ( getEdgeFrom e1 == getEdgeTo e2 && getEdgeTo e1 == getEdgeFrom e1
+ && getPortFrom e1 == getPortTo e2 && getPortTo e1 == getPortFrom e2 )
}