- get(int) - Method in class Automata.NumberSystem
-
- get(String) - Static method in class dk.brics.automaton.Datatypes
-
Returns pre-built automaton.
- get_address_for_automata_library() - Static method in class Main.UtilityMethods
-
- get_address_for_command_files() - Static method in class Main.UtilityMethods
-
- get_address_for_custom_bases() - Static method in class Main.UtilityMethods
-
- get_address_for_result() - Static method in class Main.UtilityMethods
-
- get_address_for_test_library() - Static method in class Main.UtilityMethods
-
- get_address_for_words_library() - Static method in class Main.UtilityMethods
-
- get_number_system_Hash() - Static method in class Main.Predicate
-
- get_postOrder() - Method in class Main.Predicate
-
- getAcceptStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of reachable accept states.
- getAllRepresentations() - Method in class Automata.NumberSystem
-
- getAlphabet() - Method in class Automata.NumberSystem
-
- getArity() - Method in class Automata.Automaton
-
- getArity() - Method in class Token.Token
-
- getAutomaton(String) - Method in interface dk.brics.automaton.AutomatonProvider
-
Returns automaton of the given name.
- getAutomaton(String) - Method in class dk.brics.automaton.DatatypesAutomatonProvider
-
- getCharIntervals() - Method in class dk.brics.automaton.RunAutomaton
-
Returns array of character class interval start points.
- getCommonPrefix() - Method in class dk.brics.automaton.Automaton
-
- getCommonPrefix(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the longest string that is a prefix of all accepted strings and
visits each state at most once.
- getDest() - Method in class dk.brics.automaton.Transition
-
Returns destination of this transition.
- getDivision(int) - Method in class Automata.NumberSystem
-
- getDotSource() - Method in class Main.GraphViz
-
Returns the graph's source description in dot language.
- getFiniteStrings() - Method in class dk.brics.automaton.Automaton
-
- getFiniteStrings(int) - Method in class dk.brics.automaton.Automaton
-
- getFiniteStrings(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings, assuming this automaton has a finite
language.
- getFiniteStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings, assuming that at most limit
strings are accepted.
- getFirstState() - Method in class dk.brics.automaton.StatePair
-
Returns first component of this pair.
- getGraph(String, String) - Method in class Main.GraphViz
-
Returns the graph as an image in binary format.
- getIdentifiers() - Method in class dk.brics.automaton.RegExp
-
Returns set of automaton identifiers that occur in this regular expression.
- getInfo() - Method in class dk.brics.automaton.Automaton
-
Returns extra information associated with this automaton.
- getInitialState() - Method in class dk.brics.automaton.Automaton
-
Gets initial state.
- getInitialState() - Method in class dk.brics.automaton.RunAutomaton
-
Returns initial state.
- getLabel() - Method in class Automata.Automaton
-
Default constructor.
- getLiveStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of live states.
- getMax() - Method in class dk.brics.automaton.Transition
-
Returns maximum of this transition interval.
- getMin() - Method in class dk.brics.automaton.Transition
-
Returns minimum of this transition interval.
- getMultiplication(int) - Method in class Automata.NumberSystem
-
- getNumberOfStates() - Method in class dk.brics.automaton.Automaton
-
Returns the number of states in this automaton.
- getNumberOfTransitions() - Method in class dk.brics.automaton.Automaton
-
Returns the number of transitions in this automaton.
- getPositionInPredicate() - Method in class Token.Token
-
- getPriority() - Method in class Token.Operator
-
- getSecondState() - Method in class dk.brics.automaton.StatePair
-
Returns second component of this pair.
- getShortestExample(boolean) - Method in class dk.brics.automaton.Automaton
-
- getShortestExample(Automaton, boolean) - Static method in class dk.brics.automaton.BasicOperations
-
Returns a shortest accepted/rejected string.
- getSingleton() - Method in class dk.brics.automaton.Automaton
-
Returns the singleton string for this automaton.
- getSize() - Method in class dk.brics.automaton.RunAutomaton
-
Returns number of states in automaton.
- getSortedTransitions(boolean) - Method in class dk.brics.automaton.State
-
Returns sorted list of outgoing transitions.
- getStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of states that are reachable from the initial state.
- getStrings(int) - Method in class dk.brics.automaton.Automaton
-
- getStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings of the given length.
- getTheFinalResult() - Method in class Main.Computer
-
- getTransitions() - Method in class dk.brics.automaton.State
-
Returns the set of outgoing transitions.
- getType() - Method in class Main.Expression
-
- GraphViz - Class in Main
-
Purpose: GraphViz Java API
Description:
With this Java class you can simply call dot
from your Java programs
Example usage:
- GraphViz() - Constructor for class Main.GraphViz
-
Constructor: creates a new GraphViz object that will contain
a graph.
- group() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the subsequence of the input found by the previous match.
- group(int) - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the subsequence of the input found by the specified capturing
group during the previous match operation.
- groupCount() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the number of capturing groups in the underlying automaton.