public static <State,A> NFA<State,A> create(final State startState,
						final Collection<State> acceptStates,
						final LabeledBiDiNavigator<State,A> lNav) {
	return new AbstrSimpleNFA<State,A>(startState, acceptStates) {
	    public LabeledBiDiNavigator<State,A> getLabeledBiDiNavigator() {
		return lNav;
	    }
	};
    }
public static < State , A > NFA < State , A > create ( final State startState , final Collection < State > acceptStates , final LabeledBiDiNavigator < State , A > lNav ) { return new AbstrSimpleNFA < State , A > ( startState , acceptStates ) { public LabeledBiDiNavigator < State , A > getLabeledBiDiNavigator ( ) { return lNav ; } } ; }
Returns a freshly constructed <code>NFA</code>.  Like {@link
#create(java.lang.Object,java.util.Collection,jpaul.Graphs.LabeledDiGraph.LabeledForwardNavigator)
other} <code>nfa</code> static method, but a full navigator is
passed.  Therefore, the <code>getLabeledBiDiNavigator()</code> of the
returned NFA (if invoked) does not need to compute one.