protected Collection getInverseArcs(Object member, Object symbol) { if (member != SINK_NODE) { return getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } return getUnminimizedFA().getArcsByInput(symbol); }
protected Collection<Object> getInverseImages(ExactBlock<Arc> block, Object symbol) { List<Object> inverseImages = new ArrayList<>(); for (Arc member : block.getMembers()) { Collection<Arc> arcs = null; if (member != SINK_NODE) { arcs = getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } else { arcs = getUnminimizedFA().getArcsByInput(symbol); if (!sparseMode) { arcs = difference(getUnminimizedFA().getArcs(), arcs); } } if (arcs == null) { continue; } for (Arc arc : arcs) { Object source = arc.getSourceNode(); inverseImages.add(source); } } return inverseImages; }
protected Collection getInverseArcs(Object member, Object symbol) { if (member != SINK_NODE) { return getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } return getUnminimizedFA().getArcsByInput(symbol); }
protected Collection getInverseArcs(Object member, Object symbol) { if (member != SINK_NODE) { return getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } return getUnminimizedFA().getArcsByInput(symbol); }
protected Collection getInverseArcs(Object member, Object symbol) { if (member != SINK_NODE) { return getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } return getUnminimizedFA().getArcsByInput(symbol); }
protected Collection getInverseArcs(Object member, Object symbol) { if (member != SINK_NODE) { return getUnminimizedFA().getArcsByTargetAndInput(member, symbol); } return getUnminimizedFA().getArcsByInput(symbol); }