- 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
-
- 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
-