@Override public BooleanExpr toBooleanExpr(CiscoConfiguration cc, Configuration c, Warnings w) { return new Not(_operand.toBooleanExpr(cc, c, w)); } }
@Override public String toString() { return toStringHelper().add(PROP_EXPR, _expr).toString(); } }
visit(conf, n.getExpr(), fs, fe);
/** * Create a filter that only allows traffic for those prefixes if it came from outside. EXTERNAL = * (protocol is bgp or ibgp) and (the AS path is not an internal path) MATCH = destination matches * the prefixTrie GUARD = EXTERNAL or MATCH (only allow this traffic through) */ @Nonnull private BooleanExpr matchExternalTraffic() { List<AsPathSetElem> elements = new ArrayList<>(); elements.add(new RegexAsPathSetElem(_internalRegex)); ExplicitAsPathSet expr = new ExplicitAsPathSet(elements); MatchAsPath matchPath = new MatchAsPath(expr); MatchProtocol mpBgp = new MatchProtocol(RoutingProtocol.BGP); MatchProtocol mpIbgp = new MatchProtocol(RoutingProtocol.IBGP); Disjunction d = new Disjunction(); List<BooleanExpr> disjuncts = new ArrayList<>(); disjuncts.add(mpBgp); disjuncts.add(mpIbgp); d.setDisjuncts(disjuncts); Not n = new Not(matchPath); Conjunction c = new Conjunction(); List<BooleanExpr> conjuncts = new ArrayList<>(); conjuncts.add(d); conjuncts.add(n); c.setConjuncts(conjuncts); return c; }
pCur.debug("mkNot"); Not n = (Not) expr; TransferResult<BoolExpr, BoolExpr> result = compute(n.getExpr(), pCur); return result.setReturnValue(_enc.mkNot(result.getReturnValue()));
new MatchPrefixSet( DestinationNetwork.instance(), new ExplicitPrefixSet(exportSpace)), new Not(new MatchProtocol(RoutingProtocol.BGP)), new Not(new MatchProtocol(RoutingProtocol.IBGP)), new Not(new MatchProtocol(RoutingProtocol.AGGREGATE)), bgpRedistributeWithEnvironmentExpr( _routeMaps.containsKey(routeMapOrEmpty) new ExplicitPrefix6Set( new Prefix6Space(Prefix6Range.fromPrefix6(prefix6)))), new Not(new MatchProtocol(RoutingProtocol.BGP)), new Not(new MatchProtocol(RoutingProtocol.IBGP)), new Not(new MatchProtocol(RoutingProtocol.AGGREGATE)), bgpRedistributeWithEnvironmentExpr( _routeMaps.containsKey(routeMapOrEmpty)
p.debug("mkNot"); Not n = (Not) expr; TransferResult<TransferReturn, BDD> result = compute(n.getExpr(), p); TransferReturn r = result.getReturnValue(); TransferReturn ret = new TransferReturn(r.getFirst(), r.getSecond().not());
exportNetworkConditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.BGP))); exportNetworkConditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.IBGP))); exportNetworkConditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.AGGREGATE))); exportNetworkConditions.getConjuncts().add(we); exportConditions.add(exportNetworkConditions); exportNetwork6Conditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.BGP))); exportNetwork6Conditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.IBGP))); exportNetwork6Conditions .getConjuncts() .add(new Not(new MatchProtocol(RoutingProtocol.AGGREGATE))); exportNetwork6Conditions.getConjuncts().add(we); exportConditions.add(exportNetwork6Conditions);
Not not = new Not(disjunctionChain);