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

G

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.
A B C D E F G H I L M N O P Q R S T U V W X