protected void makeBlock(Collection members) { Block block = new Block(new HashSet(members)); for (Object member : block.getMembers()) { if (member != SINK_NODE) { // System.out.println("putting in memberToBlock: " + member + " " + block); memberToBlock.put(member, block); } } addSplits(block); }
protected void minimize() { makeInitialBlocks(); while (hasSplit()) { Split split = getSplit(); Collection inverseImages = getInverseImages(split); Map inverseImagesByBlock = sortIntoBlocks(inverseImages); for (Object o : inverseImagesByBlock.keySet()) { Block block = (Block) o; Collection members = (Collection) inverseImagesByBlock.get(block); if (members.size() == 0 || members.size() == block.getMembers().size()) { continue; } if (members.size() > block.getMembers().size() - members.size()) { members = difference(block.getMembers(), members); } removeAll(block.getMembers(), members); makeBlock(members); } } }
protected Collection getInverseImages(Split split) { List inverseImages = new ArrayList(); Object symbol = split.getSymbol(); Block block = split.getBlock(); for (Object member : split.getMembers()) { if (!block.getMembers().contains(member)) { continue; } Collection arcs = getInverseArcs(member, symbol); for (Object arc1 : arcs) { TransducerGraph.Arc arc = (TransducerGraph.Arc) arc1; Object source = arc.getSourceNode(); inverseImages.add(source); } } return inverseImages; }
protected Collection getInverseImages(Split split) { List inverseImages = new ArrayList(); Object symbol = split.getSymbol(); Block block = split.getBlock(); for (Object member : split.getMembers()) { if (!block.getMembers().contains(member)) { continue; } Collection arcs = getInverseArcs(member, symbol); for (Object arc1 : arcs) { TransducerGraph.Arc arc = (TransducerGraph.Arc) arc1; Object source = arc.getSourceNode(); inverseImages.add(source); } } return inverseImages; }
protected void addSplits(Block block) { Map symbolToTarget = new HashMap(); for (Iterator memberI = block.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); for (Iterator symbolI = getInverseArcs(member).iterator(); symbolI.hasNext();) { TransducerGraph.Arc arc = (TransducerGraph.Arc) symbolI.next(); Object symbol = arc.getInput(); Object target = arc.getTargetNode(); Maps.putIntoValueArrayList(symbolToTarget, symbol, target); } } for (Iterator symbolI = symbolToTarget.keySet().iterator(); symbolI.hasNext();) { Object symbol = symbolI.next(); addSplit(new Split((List) symbolToTarget.get(symbol), symbol, block)); } }
protected void addSplits(Block block) { Map symbolToTarget = new HashMap(); for (Iterator memberI = block.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); for (Iterator symbolI = getInverseArcs(member).iterator(); symbolI.hasNext();) { TransducerGraph.Arc arc = (TransducerGraph.Arc) symbolI.next(); Object symbol = arc.getInput(); Object target = arc.getTargetNode(); Maps.putIntoValueArrayList(symbolToTarget, symbol, target); } } for (Iterator symbolI = symbolToTarget.keySet().iterator(); symbolI.hasNext();) { Object symbol = symbolI.next(); addSplit(new Split((List) symbolToTarget.get(symbol), symbol, block)); } }
protected Collection getInverseImages(Split split) { List inverseImages = new ArrayList(); Object symbol = split.getSymbol(); Block block = split.getBlock(); for (Iterator memberI = split.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); if (!block.getMembers().contains(member)) { continue; } Collection arcs = getInverseArcs(member, symbol); for (Iterator arcI = arcs.iterator(); arcI.hasNext();) { TransducerGraph.Arc arc = (TransducerGraph.Arc) arcI.next(); Object source = arc.getSourceNode(); inverseImages.add(source); } } return inverseImages; }
protected Collection getInverseImages(Split split) { List inverseImages = new ArrayList(); Object symbol = split.getSymbol(); Block block = split.getBlock(); for (Iterator memberI = split.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); if (!block.getMembers().contains(member)) { continue; } Collection arcs = getInverseArcs(member, symbol); for (Iterator arcI = arcs.iterator(); arcI.hasNext();) { TransducerGraph.Arc arc = (TransducerGraph.Arc) arcI.next(); Object source = arc.getSourceNode(); inverseImages.add(source); } } return inverseImages; }
protected void addSplits(Block block) { Map symbolToTarget = new HashMap(); for (Object member : block.getMembers()) { for (Object o : getInverseArcs(member)) { TransducerGraph.Arc arc = (TransducerGraph.Arc) o; Object symbol = arc.getInput(); Object target = arc.getTargetNode(); Maps.putIntoValueArrayList(symbolToTarget, symbol, target); } } for (Object symbol : symbolToTarget.keySet()) { addSplit(new Split((List) symbolToTarget.get(symbol), symbol, block)); } }
protected Object projectNode(Object node) { Set members = getBlock(node).getMembers(); return members; }
protected void addSplits(Block block) { Map symbolToTarget = new HashMap(); for (Object member : block.getMembers()) { for (Object o : getInverseArcs(member)) { TransducerGraph.Arc arc = (TransducerGraph.Arc) o; Object symbol = arc.getInput(); Object target = arc.getTargetNode(); Maps.putIntoValueArrayList(symbolToTarget, symbol, target); } } for (Object symbol : symbolToTarget.keySet()) { addSplit(new Split((List) symbolToTarget.get(symbol), symbol, block)); } }
protected Object projectNode(Object node) { Set members = getBlock(node).getMembers(); return members; }
protected void makeBlock(Collection members) { Block block = new Block(new HashSet(members)); for (Iterator memberI = block.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); if (member != SINK_NODE) { // System.out.println("putting in memberToBlock: " + member + " " + block); memberToBlock.put(member, block); } } addSplits(block); }
protected Object projectNode(Object node) { Set members = getBlock(node).getMembers(); return members; }
protected Object projectNode(Object node) { Set members = getBlock(node).getMembers(); return members; }
protected void makeBlock(Collection members) { Block block = new Block(new HashSet(members)); for (Iterator memberI = block.getMembers().iterator(); memberI.hasNext();) { Object member = memberI.next(); if (member != SINK_NODE) { // System.out.println("putting in memberToBlock: " + member + " " + block); memberToBlock.put(member, block); } } addSplits(block); }
protected void makeBlock(Collection members) { Block block = new Block(new HashSet(members)); for (Object member : block.getMembers()) { if (member != SINK_NODE) { // System.out.println("putting in memberToBlock: " + member + " " + block); memberToBlock.put(member, block); } } addSplits(block); }
protected void makeBlock(Collection members) { Block block = new Block(new HashSet(members)); for (Object member : block.getMembers()) { if (member != SINK_NODE) { // System.out.println("putting in memberToBlock: " + member + " " + block); memberToBlock.put(member, block); } } addSplits(block); }
protected void addSplits(Block block) { Map symbolToTarget = new HashMap(); for (Object member : block.getMembers()) { for (Object o : getInverseArcs(member)) { TransducerGraph.Arc arc = (TransducerGraph.Arc) o; Object symbol = arc.getInput(); Object target = arc.getTargetNode(); Maps.putIntoValueArrayList(symbolToTarget, symbol, target); } } for (Object symbol : symbolToTarget.keySet()) { addSplit(new Split((List) symbolToTarget.get(symbol), symbol, block)); } }
protected Object projectNode(Object node) { Set members = getBlock(node).getMembers(); return members; }