Uses of Interface
org.eclipse.xtext.util.formallang.Nfa

Packages that use Nfa

Package	Description
org.eclipse.xtext.util.formallang

Uses of Nfa in org.eclipse.xtext.util.formallang

Classes in org.eclipse.xtext.util.formallang with type parameters of type Nfa

Modifier and Type	Interface and Description
interface	NfaFactory<P extends Nfa<STATE>,STATE,TOKEN>

Subinterfaces of Nfa in org.eclipse.xtext.util.formallang

Modifier and Type	Interface and Description
interface	Pda<STATE,STACKITEM> Push-Down Automation

Classes in org.eclipse.xtext.util.formallang that implement Nfa

Modifier and Type	Class and Description
protected static class	NfaToProduction.StateAliasNfa<TOKEN>
static class	NfaUtil.NFAImpl<S>
class	StringNfa
class	StringPda

Methods in org.eclipse.xtext.util.formallang with type parameters of type Nfa

Modifier and Type	Method and Description
<SRCSTATE,DSTSTATE,P extends Nfa<DSTSTATE>> P	NfaUtil.create(Nfa<SRCSTATE> source, NfaFactory<P,DSTSTATE,SRCSTATE> factory)
protected <SRCSTATE,DSTSTATE,P extends Nfa<DSTSTATE>> DSTSTATE	NfaUtil.create(Nfa<SRCSTATE> source, P result, SRCSTATE src, NfaFactory<P,DSTSTATE,SRCSTATE> factory, Map<SRCSTATE,DSTSTATE> src2dst)
<S,E,T,P extends Nfa<S>> P	NfaUtil.create(Production<E,T> production, FollowerFunction<E> ff, NfaFactory<P,S,? super T> factory)
<S,E,T1,T2,P extends Nfa<S>> P	NfaUtil.create(Production<E,T1> production, FollowerFunction<E> ff, com.google.common.base.Function<E,T2> tokenFunc, NfaFactory<P,S,? super T2> factory, T2 start, T2 stop)
protected <S,E,T1,T2,P extends Nfa<S>> void	NfaUtil.create(Production<E,T1> production, P nfa, S state, Iterable<E> followerElements, FollowerFunction<E> followerFunc, com.google.common.base.Function<E,T2> tokenFunc, NfaFactory<P,S,? super T2> factory, Map<E,S> ele2state)

Methods in org.eclipse.xtext.util.formallang that return Nfa

Modifier and Type	Method and Description
<E,T> Nfa<E>	NfaUtil.create(Production<E,T> production, FollowerFunction<E> ff, E start, E stop)
Nfa<S>	NfaUtil.NFAFactory.create(S start, S stop)
<S> Nfa<S>	NfaUtil.filter(Nfa<S> nfa, com.google.common.base.Predicate<S> filter)
<S,P> Nfa<S>	PdaUtil.filterUnambiguousPaths(Pda<S,P> pda)
<S> Nfa<S>	NfaUtil.inverse(Nfa<S> nfa)
<S extends Comparable<S>> Nfa<S>	NfaUtil.sort(Nfa<S> nfa)
<S> Nfa<S>	NfaUtil.sort(Nfa<S> nfa, Comparator<S> comparator)
<S,COMP extends Comparable<COMP>> Nfa<S>	NfaUtil.sort(Nfa<S> nfa, Map<S,COMP> comparator)

Methods in org.eclipse.xtext.util.formallang with parameters of type Nfa

Modifier and Type	Method and Description
<S,RESULT> List<RESULT>	NfaUtil.backtrack(Nfa<S> nfa, RESULT initial, NfaUtil.BacktrackHandler<S,RESULT> handler)
<S,ITERABLE extends Iterable<? extends S>> boolean	NfaUtil.canReach(Nfa<S> nfa, S state, com.google.common.base.Predicate<S> matcher)
<S,ITERABLE extends Iterable<? extends S>> boolean	NfaUtil.canReachFinalState(Nfa<S> nfa, S state)
<S> Set<S>	NfaUtil.collect(Nfa<S> nfa)
protected <S> void	NfaUtil.collect(Nfa<S> nfa, S state, Set<S> visited)
protected <S> void	NfaUtil.collectDistancesForm(Nfa<S> nfa, S from, int distance, Map<S,Integer> distances, com.google.common.base.Predicate<S> matches)
protected <S> void	NfaUtil.collectedInverseMap(Nfa<S> nfa, S state, Map<S,List<S>> inverseMap, Set<S> visited)
protected <S> void	NfaUtil.collectFollowers(Nfa<S> nfa, S owner, Set<S> result, Set<S> visited, com.google.common.base.Predicate<S> filter)
protected GraphvizDotBuilder.Node	NfaToDot.create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE state)
protected GraphvizDotBuilder.Edge	NfaToDot.create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE from, STATE to)
<SRCSTATE,DSTSTATE,P extends Nfa<DSTSTATE>> P	NfaUtil.create(Nfa<SRCSTATE> source, NfaFactory<P,DSTSTATE,SRCSTATE> factory)
protected <SRCSTATE,DSTSTATE,P extends Nfa<DSTSTATE>> DSTSTATE	NfaUtil.create(Nfa<SRCSTATE> source, P result, SRCSTATE src, NfaFactory<P,DSTSTATE,SRCSTATE> factory, Map<SRCSTATE,DSTSTATE> src2dst)
protected <STATE,TOKEN> NfaToProduction.StateAliasNfa<TOKEN>	NfaToProduction.createNfa(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token)
protected <STATE> NfaGraphFormatter.Node	NfaGraphFormatter.createNodes(Nfa<STATE> nfa, STATE state, Map<STATE,Integer> names, Wrapper<Integer> lastName)
S	NfaUtil.NFAFactory.createState(Nfa<S> nfa, S token)
<S> Map<S,Integer>	NfaUtil.distanceFromStateMap(Nfa<S> nfa, com.google.common.base.Predicate<S> matches)
<S> Map<S,Integer>	NfaUtil.distanceToFinalStateMap(Nfa<S> nfa)
<S> Map<S,Integer>	NfaUtil.distanceToStateMap(Nfa<S> nfa, com.google.common.base.Predicate<S> matches)
protected void	NfaToDot.draw(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2, com.google.common.base.Function<S,? super Object> keyFunc)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2, com.google.common.base.Function<S,? super Object> keyFunc)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2, S s1, S s2, com.google.common.base.Function<S,? super Object> keyFunc, Set<S> visited)
<S> boolean	NfaUtil.equalsIgnoreOrder(Nfa<S> nfa1, Nfa<S> nfa2, S s1, S s2, com.google.common.base.Function<S,? super Object> keyFunc, Set<S> visited)
<S> Nfa<S>	NfaUtil.filter(Nfa<S> nfa, com.google.common.base.Predicate<S> filter)
<S> Set<S>	NfaUtil.filterFollowers(Nfa<S> nfa, Iterable<S> followers, com.google.common.base.Predicate<S> filter)
<S,ITERABLE extends Iterable<? extends S>> S	NfaUtil.find(Nfa<S> nfa, Iterable<S> starts, com.google.common.base.Predicate<S> matcher)
<S> S	NfaUtil.find(Nfa<S> nfa, com.google.common.base.Predicate<S> matcher)
protected <S,ITERABLE extends Iterable<? extends S>> S	NfaUtil.find(Nfa<S> nfa, S state, com.google.common.base.Predicate<S> matcher, Set<S> visited)
<S> Set<S>	NfaUtil.findFirst(Nfa<S> nfa, Iterable<S> starts, com.google.common.base.Predicate<S> match)
<STATE> String	NfaGraphFormatter.format(Nfa<STATE> nfa)
<S> Nfa<S>	NfaUtil.inverse(Nfa<S> nfa)
<ELEMENT,STATE,TOKEN> ELEMENT	NfaToProduction.nfaToGrammar(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, ProductionFactory<ELEMENT,TOKEN> grammarFactory)
<ELEMENT,STATE> ELEMENT	NfaToProduction.nfaToGrammar(Nfa<STATE> nfa, ProductionFactory<ELEMENT,STATE> grammarFactory)
<S> void	NfaUtil.removeOrphans(Nfa<S> nfa)
void	NfaUtil.NFAFactory.setFollowers(Nfa<S> nfa, S owner, Iterable<S> followers)
<S extends Comparable<S>> Nfa<S>	NfaUtil.sort(Nfa<S> nfa)
<S> Nfa<S>	NfaUtil.sort(Nfa<S> nfa, Comparator<S> comparator)
<S,COMP extends Comparable<COMP>> Nfa<S>	NfaUtil.sort(Nfa<S> nfa, Map<S,COMP> comparator)
protected String	NfaToDot.stateToString(Nfa<STATE> nfa, STATE state)
protected <STATE,TOKEN> NfaToProduction.StateAlias<TOKEN>	NfaToProduction.toAlias(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, STATE state, Map<STATE,NfaToProduction.StateAlias<TOKEN>> cache)