Uses of Class
dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
-
-
Uses of ShuffleOperations.ShuffleConfiguration in dk.brics.automaton
Fields in dk.brics.automaton declared as ShuffleOperations.ShuffleConfiguration Modifier and Type Field Description (package private) ShuffleOperations.ShuffleConfiguration
ShuffleOperations.ShuffleConfiguration. prev
Methods in dk.brics.automaton with parameters of type ShuffleOperations.ShuffleConfiguration Modifier and Type Method Description private static void
ShuffleOperations. add(java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle, java.util.LinkedList<ShuffleOperations.ShuffleConfiguration> pending, java.util.Set<ShuffleOperations.ShuffleConfiguration> visited, ShuffleOperations.ShuffleConfiguration c, int i1, Transition t1, Transition t2, char min, char max)
Method parameters in dk.brics.automaton with type arguments of type ShuffleOperations.ShuffleConfiguration Modifier and Type Method Description private static void
ShuffleOperations. add(java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle, java.util.LinkedList<ShuffleOperations.ShuffleConfiguration> pending, java.util.Set<ShuffleOperations.ShuffleConfiguration> visited, ShuffleOperations.ShuffleConfiguration c, int i1, Transition t1, Transition t2, char min, char max)
private static void
ShuffleOperations. add(java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle, java.util.LinkedList<ShuffleOperations.ShuffleConfiguration> pending, java.util.Set<ShuffleOperations.ShuffleConfiguration> visited, ShuffleOperations.ShuffleConfiguration c, int i1, Transition t1, Transition t2, char min, char max)
Constructors in dk.brics.automaton with parameters of type ShuffleOperations.ShuffleConfiguration Constructor Description ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration c, int i1, State s1, char min)
ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration c, int i1, State s1, State s2, char min)
-