A B C D E F G H I L M N O P Q R S T U V W X

## R

readBuffer(BufferedReader, boolean) - Static method in class Main.prover
  Takes a BufferedReader and reads from it until we hit end of file or exit command.
readSource(String) - Method in class Main.GraphViz
  Read a DOT graph from a text file.
reduce() - Method in class dk.brics.automaton.Automaton
  Reduces this automaton.
regCommand(String) - Static method in class Main.prover
RegExp - Class in dk.brics.automaton
  Regular Expression extension to `Automaton`.
RegExp(String) - Constructor for class dk.brics.automaton.RegExp
  Constructs new `RegExp` from a string.
RegExp(String, int) - Constructor for class dk.brics.automaton.RegExp
  Constructs new `RegExp` from a string.
RelationalOperator - Class in Token
RelationalOperator(int, String, NumberSystem) - Constructor for class Token.RelationalOperator
removeDeadTransitions() - Method in class dk.brics.automaton.Automaton
  Removes transitions to dead states and calls `Automaton.reduce()` and `Automaton.clearHashCode()`.
removeDuplicates(List<T>) - Static method in class Main.UtilityMethods
  For example when L = [1,3,2,1,3] the result is [1,3,2]
removeIndices(List<T>, List<Integer>) - Static method in class Main.UtilityMethods
  For example when indices = [1,3] and L = [X,Y,Z,W] then the result is [X,Z]
repeat() - Method in class dk.brics.automaton.Automaton
  See `BasicOperations.repeat(Automaton)`.
repeat(int) - Method in class dk.brics.automaton.Automaton
  See `BasicOperations.repeat(Automaton, int)`.
repeat(int, int) - Method in class dk.brics.automaton.Automaton
  See `BasicOperations.repeat(Automaton, int, int)`.
repeat(Automaton) - Static method in class dk.brics.automaton.BasicOperations
  Returns an automaton that accepts the Kleene star (zero or more concatenated repetitions) of the language of the given automaton.
repeat(Automaton, int) - Static method in class dk.brics.automaton.BasicOperations
  Returns an automaton that accepts `min` or more concatenated repetitions of the language of the given automaton.
repeat(Automaton, int, int) - Static method in class dk.brics.automaton.BasicOperations
  Returns an automaton that accepts between `min` and `max` (including both) concatenated repetitions of the language of the given automaton.
replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.Automaton
  See `SpecialOperations.replaceWhitespace(Automaton)`.
replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
  Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition in the given automaton.
restoreInvariant() - Method in class dk.brics.automaton.Automaton
  Restores representation invariant.
reverse() - Method in class Automata.Automaton
  this automaton should not be a word automaton (automaton with output).
reverse(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
  Reverses the language of the given (non-singleton) automaton while returning the set of new initial states.
reverseOperator(String) - Method in class Token.RelationalOperator
rightAssociativity() - Method in class Token.Operator
RightParenthesis - Class in Token
RightParenthesis(int) - Constructor for class Token.RightParenthesis
run(String) - Method in class dk.brics.automaton.Automaton
  See `BasicOperations.run(Automaton, String)`.
run(Automaton, String) - Static method in class dk.brics.automaton.BasicOperations
  Returns true if the given string is accepted by the automaton.
run(String) - Method in class dk.brics.automaton.RunAutomaton
  Returns true if the given string is accepted by this automaton.
run(String, int) - Method in class dk.brics.automaton.RunAutomaton
  Returns the length of the longest accepted run of the given string starting at the given offset.
run(String[]) - Static method in class Main.prover
RunAutomaton - Class in dk.brics.automaton
  Finite-state automaton with fast run operation.
RunAutomaton(Automaton) - Constructor for class dk.brics.automaton.RunAutomaton
  Constructs a new `RunAutomaton` from a deterministic `Automaton`.
RunAutomaton(Automaton, boolean) - Constructor for class dk.brics.automaton.RunAutomaton
  Constructs a new `RunAutomaton` from a deterministic `Automaton`.
runTestCases() - Method in class Main.IntegrationTest

A B C D E F G H I L M N O P Q R S T U V W X