- setAccept(boolean) - Method in class dk.brics.automaton.State
-
Sets acceptance for this state.
- setAllowMutate(boolean) - Static method in class dk.brics.automaton.Automaton
-
Sets or resets allow mutate flag.
- setAllowMutate(boolean) - Method in class dk.brics.automaton.RegExp
-
Sets or resets allow mutate flag.
- setArity(int) - Method in class Token.Token
-
- setDeterministic(boolean) - Method in class dk.brics.automaton.Automaton
-
Sets deterministic flag for this automaton.
- setInfo(Object) - Method in class dk.brics.automaton.Automaton
-
Associates extra information with this automaton.
- setInitialState(State) - Method in class dk.brics.automaton.Automaton
-
Sets initial state.
- setMinimization(int) - Static method in class dk.brics.automaton.Automaton
-
Selects minimization algorithm (default: MINIMIZE_HOPCROFT
).
- setMinimizeAlways(boolean) - Static method in class dk.brics.automaton.Automaton
-
Sets or resets minimize always flag.
- setPaths() - Static method in class Main.UtilityMethods
-
- setPositionInPredicate(int) - Method in class Token.Token
-
- setPriority() - Method in class Token.Operator
-
- should_we_use_allRepresentations() - Method in class Automata.NumberSystem
-
- shuffle(Automaton) - Method in class dk.brics.automaton.Automaton
-
- shuffle(Automaton, Automaton) - Static method in class dk.brics.automaton.ShuffleOperations
-
Returns an automaton that accepts the shuffle (interleaving) of
the languages of the given automata.
- ShuffleOperations - Class in dk.brics.automaton
-
Automata operations involving shuffling.
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.Automaton
-
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.ShuffleOperations
-
Returns a string that is an interleaving of strings that are accepted by
ca
but not by a
.
- singleChars() - Method in class dk.brics.automaton.Automaton
-
- singleChars(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the single chars that occur
in strings that are accepted by the given automaton.
- SpecialOperations - Class in dk.brics.automaton
-
Special automata operations.
- start() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset of the first character matched.
- start(int) - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset of the first character matched of the specified
capturing group.
- start_graph() - Method in class Main.GraphViz
-
Returns a string that is used to start a graph.
- State - Class in dk.brics.automaton
-
Automaton state.
- State() - Constructor for class dk.brics.automaton.State
-
Constructs a new state.
- StatePair - Class in dk.brics.automaton
-
Pair of states.
- StatePair(State, State) - Constructor for class dk.brics.automaton.StatePair
-
Constructs a new state pair.
- step(int, char) - Method in class dk.brics.automaton.RunAutomaton
-
Returns the state obtained by reading the given char from the given
state.
- step(char) - Method in class dk.brics.automaton.State
-
Performs lookup in transitions, assuming determinism.
- step(char, Collection<State>) - Method in class dk.brics.automaton.State
-
Performs lookup in transitions, allowing nondeterminism.
- store(OutputStream) - Method in class dk.brics.automaton.Automaton
-
Writes this Automaton
to the given stream.
- store(OutputStream) - Method in class dk.brics.automaton.RunAutomaton
-
Writes this RunAutomaton
to the given stream.
- StringUnionOperations - Class in dk.brics.automaton
-
Operations for building minimal deterministic automata from sets of strings.
- StringUnionOperations() - Constructor for class dk.brics.automaton.StringUnionOperations
-
- subsetOf(Automaton) - Method in class dk.brics.automaton.Automaton
-
- subsetOf(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the language of a1
is a subset of the
language of a2
.
- subst(Map<Character, Set<Character>>) - Method in class dk.brics.automaton.Automaton
-
- subst(char, String) - Method in class dk.brics.automaton.Automaton
-
- subst(Automaton, Map<Character, Set<Character>>) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton where all transition labels have been substituted.
- subst(Automaton, char, String) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton where all transitions of the given char are replaced by a string.