@Test public void testVisit() { assertThat(_toBdd.getMemoizedBdd(IP1_IP_SPACE), equalTo(Optional.empty())); BDD bdd = _toBdd.visit(IP1_IP_SPACE); assertThat(_toBdd.getMemoizedBdd(IP1_IP_SPACE), equalTo(Optional.of(bdd))); }
@Override public BDD visit(IpSpace ipSpace) { return _cache.getUnchecked(ipSpace); }
MemoizedIpSpaceToBDD extends IpSpaceToBDD { @Override public BDD visit(IpSpace ipSpace) { return _cache.getUnchecked(ipSpace); } }
MemoizedIpSpaceToBDD extends IpSpaceToBDD { @Override public BDD visit(IpSpace ipSpace) { return _cache.getUnchecked(ipSpace); } MemoizedIpSpaceToBDD(BDDInteger var, Map<String, IpSpace> namedIpSpaces); }
MemoizedIpSpaceToBDD extends IpSpaceToBDD { @Override public BDD visit(IpSpace ipSpace) { return _cache.getUnchecked(ipSpace); } MemoizedIpSpaceToBDD(BDDInteger var, Map<String, IpSpace> namedIpSpaces); @Override BDD visit(IpSpace ipSpace); }
MemoizedIpSpaceToBDD extends IpSpaceToBDD { @Override public BDD visit(IpSpace ipSpace) { return _cache.getUnchecked(ipSpace); } MemoizedIpSpaceToBDD(BDDInteger var, Map<String, IpSpace> namedIpSpaces); @Override BDD visit(IpSpace ipSpace);  }