static void findPacketsWithIntermediateNode(DVP dvp, bool result, Ip intermediateNodeIp)
{
// Zen will only check paths w/o intermediateNode
dvp.intermediateNode = intermediateNodeIp;
findPackets(dvp, result);
dvp.cleanConstraints();
}
static void findPacketsWithCost(DVP dvp, bool result, int maxCost)
{
// Zen will only check paths under the maxCost
dvp.maxCost = maxCost;
findPackets(dvp, result);
dvp.cleanConstraints();
}
static void findPacketsWithFailedLinks(DVP dvp, bool result)
{
var failedLinks = new List <Tuple <int, int> >();
failedLinks.Add(new Tuple <int, int>(0, 1));
failedLinks.Add(new Tuple <int, int>(5, 6));
findPackets(dvp, result, failedLinks);
dvp.cleanConstraints();
}
static void findFailedLinksWithPacket(DVP dvp, bool result)
{
var packet = new SimplePacket
{
SrcIp = new Ip {
Value = 6
},
DstIp = new Ip {
Value = 1
},
};
findLinks(dvp, result, packet);
dvp.cleanConstraints();
}
