@Test public void testVisitCommunityExprsSet() { CommunityExprsSet ces = CommunityExprsSet.of( new StandardCommunityHighLowExprs(new LiteralInt(20), new LiteralInt(30)), new StandardCommunityHighLowExprs(new LiteralInt(21), new LiteralInt(30))); BDD result = _communitySetExprToBDD.visitCommunityExprsSet(ces, _arg); CommunityVar cvar1 = CommunityVar.from(StandardCommunity.parse("20:30")); CommunityVar cvar2 = CommunityVar.from(StandardCommunity.parse("21:30")); assertEquals(cvarToBDD(cvar1).or(cvarToBDD(cvar2)), result); }
@Override public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) { Set<CommunityVar> commVars = communityExprsSet.accept( new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration()); return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg); }
CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> { @Override public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) { Set<CommunityVar> commVars = communityExprsSet.accept( new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration()); return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg); } }
CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> { @Override public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) { Set<CommunityVar> commVars = communityExprsSet.accept( new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration()); return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg); }  }
CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> { @Override public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) { Set<CommunityVar> commVars = communityExprsSet.accept( new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration()); return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg); }  @Override BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg); @Override BDD visitCommunitySetDifference(CommunitySetDifference communitySetDifference, Arg arg); @Override BDD visitCommunitySetExprReference(
      CommunitySetExprReference communitySetExprReference, Arg arg); @Override BDD visitCommunitySetReference(CommunitySetReference communitySetReference, Arg arg); @Override BDD visitCommunitySetUnion(CommunitySetUnion communitySetUnion, Arg arg); @Override BDD visitInputCommunities(InputCommunities inputCommunities, Arg arg); @Override BDD visitLiteralCommunitySet(LiteralCommunitySet literalCommunitySet, Arg arg); }
CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> { @Override public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) { Set<CommunityVar> commVars = communityExprsSet.accept( new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration()); return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg); }  @Override BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg); @Override BDD visitCommunitySetDifference(CommunitySetDifference communitySetDifference, Arg arg); @Override BDD visitCommunitySetExprReference(
      CommunitySetExprReference communitySetExprReference, Arg arg); @Override BDD visitCommunitySetReference(CommunitySetReference communitySetReference, Arg arg); @Override BDD visitCommunitySetUnion(CommunitySetUnion communitySetUnion, Arg arg); @Override BDD visitInputCommunities(InputCommunities inputCommunities, Arg arg); @Override BDD visitLiteralCommunitySet(LiteralCommunitySet literalCommunitySet, Arg arg);  }