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
repeat(int) - Method in class dk.brics.automaton.Automaton
repeat(int, int) - Method in class dk.brics.automaton.Automaton
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
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
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