public boolean hasOneEpsilonTransitionOnly(NFAState state) { return state.getNumberOfTransitions() == 1 && state.transition(0).isEpsilon(); }
public boolean hasOneOrMoreEpsilonTransitionOnly(NFAState state) { for(int t=0; t<state.getNumberOfTransitions(); t++) { Transition transition = state.transition(t); if(!transition.isEpsilon()) return false; } return state.getNumberOfTransitions()>0; }
public boolean hasMoreThanOneEpsilonTransitionOnly(NFAState state) { for(int t=0; t<state.getNumberOfTransitions(); t++) { Transition transition = state.transition(t); if(!transition.isEpsilon()) return false; } return state.getNumberOfTransitions()>1; }
buf.append("-{}->"); else if ( edge.isEpsilon() ) { buf.append("->");
buf.append("-{}->"); else if ( edge.isEpsilon() ) { buf.append("->");
buf.append("-{}->"); else if ( edge.isEpsilon() ) { buf.append("->");
buf.append("-{}->"); else if ( edge.isEpsilon() ) { buf.append("->");
if (!t.isEpsilon() && !t.label.getSet().and(label).isNil() && next.contains(t.target)) { if (p.associatedASTNode != null) {
if (!t.isEpsilon() && !t.label.getSet().and(label).isNil() && next.contains(t.target)) { if (p.associatedASTNode != null) {
if (!t.isEpsilon() && !t.label.getSet().and(label).isNil() && next.contains(t.target)) { if (p.associatedASTNode != null) {
if(transition.isEpsilon()) { buildRecursiveSkipState(parentState, target, new HashSet<NFAState>(currentPath), new ArrayList<Integer>()); } else {
edgeST = stlib.getInstanceOf("action-edge"); else if ( edge.isEpsilon() ) { edgeST = stlib.getInstanceOf("epsilon-edge");
edgeST = stlib.getInstanceOf("action-edge"); else if ( edge.isEpsilon() ) { edgeST = stlib.getInstanceOf("epsilon-edge");
edgeST = stlib.getInstanceOf("org/antlr/tool/templates/dot/action-edge"); else if ( edge.isEpsilon() ) { edgeST = stlib.getInstanceOf("org/antlr/tool/templates/dot/epsilon-edge");
edgeST = stlib.getInstanceOf("org/antlr/tool/templates/dot/action-edge"); else if ( edge.isEpsilon() ) { edgeST = stlib.getInstanceOf("org/antlr/tool/templates/dot/epsilon-edge");