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(); }