Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/cs-au-dk/dk.brics.automaton
/ functions
Functions
324 in github.com/cs-au-dk/dk.brics.automaton
⨍
Functions
324
◇
Types & classes
28
↓ 2 callers
Method
copyOf
JDK1.5-replacement of {@link Arrays#copyOf(char[], int)}
src/dk/brics/automaton/StringUnionOperations.java:196
↓ 2 callers
Method
find
Find the next matching subsequence of the input. <br> This also updates the values for the {@code start}, {@code end}, and {@code group} methods. @re
src/dk/brics/automaton/AutomatonMatcher.java:64
↓ 2 callers
Method
getFiniteStrings
Returns the set of accepted strings, assuming this automaton has a finite language. If the language is not finite, null is returned.
src/dk/brics/automaton/SpecialOperations.java:478
↓ 2 callers
Method
getMatchStart
()
src/dk/brics/automaton/AutomatonMatcher.java:130
↓ 2 callers
Method
getNumberOfStates
Returns the number of states in this automaton.
src/dk/brics/automaton/Automaton.java:505
↓ 2 callers
Method
hashCode
()
src/dk/brics/automaton/ShuffleOperations.java:324
↓ 2 callers
Method
hashCode
Returns hash code for this automaton. The hash code is based on the number of states and transitions in the minimized automaton. Invoking this method
src/dk/brics/automaton/Automaton.java:546
↓ 2 callers
Method
intersection
Returns an automaton that accepts the intersection of the languages of the given automata. Never modifies the input automata languages. <p> Complexity
src/dk/brics/automaton/BasicOperations.java:281
↓ 2 callers
Method
isDebug
()
src/dk/brics/automaton/Automaton.java:145
↓ 2 callers
Method
isEmptyString
Returns true if the given automaton accepts the empty string and nothing else.
src/dk/brics/automaton/BasicOperations.java:564
↓ 2 callers
Method
lastChild
Return the most recent transitions's target state.
src/dk/brics/automaton/StringUnionOperations.java:165
↓ 2 callers
Method
makeAnyChar
Returns a new (deterministic) automaton that accepts any single character.
src/dk/brics/automaton/BasicAutomata.java:81
↓ 2 callers
Method
makeAnyChar
()
src/dk/brics/automaton/RegExp.java:655
↓ 2 callers
Method
makeAnyString
Returns a new (deterministic) automaton that accepts all strings.
src/dk/brics/automaton/BasicAutomata.java:68
↓ 2 callers
Method
makeComplement
(RegExp exp)
src/dk/brics/automaton/RegExp.java:633
↓ 2 callers
Method
makeIntersection
(RegExp exp1, RegExp exp2)
src/dk/brics/automaton/RegExp.java:594
↓ 2 callers
Method
makeInterval
Returns a new automaton that accepts strings representing decimal non-negative integers in the given interval. @param min minimal value of interval @p
src/dk/brics/automaton/BasicAutomata.java:217
↓ 2 callers
Method
newMatcher
Creates a new automaton matcher for the given input. @param s the CharSequence to search @return A new automaton matcher for the given input
src/dk/brics/automaton/RunAutomaton.java:310
↓ 2 callers
Method
parseCharClass
()
src/dk/brics/automaton/RegExp.java:810
↓ 2 callers
Method
parseUnionExp
()
src/dk/brics/automaton/RegExp.java:724
↓ 2 callers
Method
putWith
(String[] exps, Map<String,Automaton> use)
src/dk/brics/automaton/Datatypes.java:876
↓ 2 callers
Method
recomputeHashCode
Recomputes the hash code. The automaton must be minimal when this operation is performed.
src/dk/brics/automaton/Automaton.java:557
↓ 2 callers
Method
replaceOrRegister
Replace last child of <code>state</code> with an already registered state or register the last child state.
src/dk/brics/automaton/StringUnionOperations.java:336
↓ 2 callers
Method
setInitialState
Sets initial state. @param s state
src/dk/brics/automaton/Automaton.java:218
↓ 2 callers
Method
subsetOf
See {@link BasicOperations#subsetOf(Automaton, Automaton)}.
src/dk/brics/automaton/Automaton.java:894
↓ 2 callers
Method
toString
Returns a string representation of this automaton.
src/dk/brics/automaton/Automaton.java:573
↓ 1 callers
Method
addEpsilons
Adds epsilon transitions to the given automaton. This method adds extra character interval transitions that are equivalent to the given set of epsilon
src/dk/brics/automaton/BasicOperations.java:505
↓ 1 callers
Method
addSuffix
Add a suffix of <code>current</code> starting at <code>fromIndex</code> (inclusive) to state <code>state</code>.
src/dk/brics/automaton/StringUnionOperations.java:354
↓ 1 callers
Method
addTriggers
(Transition[][] transitions, ArrayList<ArrayList<HashSet<IntPair>>> triggers, int n1, int n2)
src/dk/brics/automaton/MinimizationOperations.java:98
↓ 1 callers
Method
addWildcard
(final Automaton automaton)
src/dk/brics/automaton/MatchOnlyRunAutomaton.java:133
↓ 1 callers
Method
appendDot
(StringBuilder b)
src/dk/brics/automaton/Transition.java:168
↓ 1 callers
Method
atLeast
Constructs sub-automaton corresponding to decimal numbers of value at least x.substring(n) and length x.substring(n).length().
src/dk/brics/automaton/BasicAutomata.java:148
↓ 1 callers
Method
atMost
Constructs sub-automaton corresponding to decimal numbers of value at most x.substring(n) and length x.substring(n).length().
src/dk/brics/automaton/BasicAutomata.java:167
↓ 1 callers
Method
between
Constructs sub-automaton corresponding to decimal numbers of value between x.substring(n) and y.substring(n) and of length x.substring(n).length() (wh
src/dk/brics/automaton/BasicAutomata.java:185
↓ 1 callers
Method
build
Build a minimal, deterministic automaton from a sorted list of strings.
src/dk/brics/automaton/StringUnionOperations.java:310
↓ 1 callers
Method
buildAll
()
src/dk/brics/automaton/Datatypes.java:505
↓ 1 callers
Method
compare
(CharSequence s1, CharSequence s2)
src/dk/brics/automaton/StringUnionOperations.java:20
↓ 1 callers
Method
complete
Finalize the automaton and return the root state. No more strings can be added to the builder after this call. @return Root automaton state.
src/dk/brics/automaton/StringUnionOperations.java:274
↓ 1 callers
Method
compress
Returns an automaton that accepts the compressed language of the given automaton. Whenever a <code>c</code> character is allowed in the original autom
src/dk/brics/automaton/SpecialOperations.java:174
↓ 1 callers
Method
convert
Internal recursive traversal for conversion.
src/dk/brics/automaton/StringUnionOperations.java:288
↓ 1 callers
Method
getAutomaton
Returns automaton of the given name. @param name automaton name @return automaton @throws IOException if errors occur
src/dk/brics/automaton/AutomatonProvider.java:45
↓ 1 callers
Method
getCharClass
Gets character class of given char.
src/dk/brics/automaton/RunAutomaton.java:136
↓ 1 callers
Method
getCommonPrefix
Returns the longest string that is a prefix of all accepted strings and visits each state at most once. @return common prefix
src/dk/brics/automaton/SpecialOperations.java:535
↓ 1 callers
Method
getDest
Returns destination of this transition.
src/dk/brics/automaton/Transition.java:93
↓ 1 callers
Method
getLiveStates
Returns the set of live states. A state is "live" if an accept state is reachable from it. @return set of {@link State} objects
src/dk/brics/automaton/Automaton.java:426
↓ 1 callers
Method
getMatchEnd
()
src/dk/brics/automaton/AutomatonMatcher.java:134
↓ 1 callers
Method
getSortedTransitions
Returns sorted list of outgoing transitions. @param to_first if true, order by (to, min, reverse max); otherwise (min, reverse max, to) @return transi
src/dk/brics/automaton/State.java:146
↓ 1 callers
Method
getState
Returns the target state of a transition leaving this state and labeled with <code>label</code>. If no such transition exists, returns <code>null</cod
src/dk/brics/automaton/StringUnionOperations.java:69
↓ 1 callers
Method
getStrings
Returns the set of accepted strings of the given length.
src/dk/brics/automaton/SpecialOperations.java:452
↓ 1 callers
Method
hexCases
Constructs automaton that accepts the same strings as the given automaton but ignores upper/lower case of A-F. @param a automaton @return automaton
src/dk/brics/automaton/SpecialOperations.java:573
↓ 1 callers
Method
homomorph
Returns an automaton accepting the homomorphic image of the given automaton using the given function. <p> This method maps each transition label to a
src/dk/brics/automaton/SpecialOperations.java:329
↓ 1 callers
Method
isDeterministic
Returns deterministic flag for this automaton. @return true if the automaton is definitely deterministic, false if the automaton may be nondet
src/dk/brics/automaton/Automaton.java:237
↓ 1 callers
Method
isFinite
Returns true if the language of this automaton is finite.
src/dk/brics/automaton/SpecialOperations.java:429
↓ 1 callers
Method
isTotal
Returns true if the given automaton accepts all strings.
src/dk/brics/automaton/BasicOperations.java:583
↓ 1 callers
Method
isUnicodeBlockName
Checks whether the given string is the name of a Unicode block (see {@link #get(String)}).
src/dk/brics/automaton/Datatypes.java:447
↓ 1 callers
Method
isUnicodeCategoryName
Checks whether the given string is the name of a Unicode category (see {@link #get(String)}).
src/dk/brics/automaton/Datatypes.java:454
↓ 1 callers
Method
isXMLName
Checks whether the given string is the name of an XML / XML Schema automaton (see {@link #get(String)}).
src/dk/brics/automaton/Datatypes.java:461
↓ 1 callers
Method
load
Retrieves a serialized <code>Automaton</code> located by a URL. @param url URL of serialized automaton @exception IOException if input/output related
src/dk/brics/automaton/Automaton.java:682
↓ 1 callers
Method
load
(String name)
src/dk/brics/automaton/Datatypes.java:480
↓ 1 callers
Method
load
Retrieves a serialized <code>MatchOnlyRunAutomaton</code> from a stream. @param stream input stream with serialized automaton @exception IOException i
src/dk/brics/automaton/MatchOnlyRunAutomaton.java:112
↓ 1 callers
Method
makeAdjacent
(int[] A, int[] F, int[] K, int nn, int mm)
src/dk/brics/automaton/MinimizationOperations.java:476
↓ 1 callers
Method
makeAnyString
()
src/dk/brics/automaton/RegExp.java:674
↓ 1 callers
Method
makeAutomaton
(String s)
src/dk/brics/automaton/RegExp.java:680
↓ 1 callers
Method
makeCharRange
(char from, char to)
src/dk/brics/automaton/RegExp.java:647
↓ 1 callers
Method
makeCharSet
See {@link BasicAutomata#makeCharSet(String)}.
src/dk/brics/automaton/Automaton.java:754
↓ 1 callers
Method
makeCharSet
Returns a new (deterministic) automaton that accepts a single character in the given set.
src/dk/brics/automaton/BasicAutomata.java:116
↓ 1 callers
Method
makeCodePoint
(int cp)
src/dk/brics/automaton/Datatypes.java:859
↓ 1 callers
Method
makeConcatenation
(RegExp exp1, RegExp exp2)
src/dk/brics/automaton/RegExp.java:558
↓ 1 callers
Method
makeDecimalValue
Constructs automaton that accept strings representing the given decimal number. Surrounding whitespace is permitted. @param value string representatio
src/dk/brics/automaton/BasicAutomata.java:394
↓ 1 callers
Method
makeEmpty
()
src/dk/brics/automaton/RegExp.java:661
↓ 1 callers
Method
makeFractionDigits
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits in the fraction part
src/dk/brics/automaton/BasicAutomata.java:356
↓ 1 callers
Method
makeIntegerValue
Constructs automaton that accept strings representing the given integer. Surrounding whitespace is permitted. @param value string representation of in
src/dk/brics/automaton/BasicAutomata.java:365
↓ 1 callers
Method
makeInterval
(int min, int max, int digits)
src/dk/brics/automaton/RegExp.java:687
↓ 1 callers
Method
makeMaxInteger
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value. @param n string representation of
src/dk/brics/automaton/BasicAutomata.java:287
↓ 1 callers
Method
makeMinInteger
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value. @param n string representation of m
src/dk/brics/automaton/BasicAutomata.java:317
↓ 1 callers
Method
makeOptional
(RegExp exp)
src/dk/brics/automaton/RegExp.java:602
↓ 1 callers
Method
makeStringMatcher
Constructs deterministic automaton that matches strings that contain the given substring.
src/dk/brics/automaton/BasicAutomata.java:440
↓ 1 callers
Method
makeStringUnion
Returns a new (deterministic and minimal) automaton that accepts the union of the given set of strings. The input character sequences are internally s
src/dk/brics/automaton/BasicAutomata.java:270
↓ 1 callers
Method
makeTotalDigits
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits. Surrounding whitesp
src/dk/brics/automaton/BasicAutomata.java:346
↓ 1 callers
Method
markPair
(boolean[][] mark, ArrayList<ArrayList<HashSet<IntPair>>> triggers, int n1, int n2)
src/dk/brics/automaton/MinimizationOperations.java:127
↓ 1 callers
Method
maxInteger
(String n, int i, StringBuilder b)
src/dk/brics/automaton/BasicAutomata.java:300
↓ 1 callers
Method
minInteger
(String n, int i, StringBuilder b)
src/dk/brics/automaton/BasicAutomata.java:328
↓ 1 callers
Method
minimize
Minimizes (and determinizes if not already deterministic) the given automaton. @see Automaton#setMinimization(int)
src/dk/brics/automaton/MinimizationOperations.java:52
↓ 1 callers
Method
minimizeBrzozowski
Minimizes the given automaton using Brzozowski's algorithm.
src/dk/brics/automaton/MinimizationOperations.java:218
↓ 1 callers
Method
minimizeHopcroft
Minimizes the given automaton using Hopcroft's algorithm.
src/dk/brics/automaton/MinimizationOperations.java:228
↓ 1 callers
Method
minimizeHuffman
Minimizes the given automaton using Huffman's algorithm.
src/dk/brics/automaton/MinimizationOperations.java:152
↓ 1 callers
Method
minimizeValmari
Minimizes the given automaton using Valmari's algorithm.
src/dk/brics/automaton/MinimizationOperations.java:395
↓ 1 callers
Method
minus
See {@link BasicOperations#minus(Automaton, Automaton)}.
src/dk/brics/automaton/Automaton.java:880
↓ 1 callers
Method
minus
Returns a (deterministic) automaton that accepts the intersection of the language of <code>a1</code> and the complement of the language of <code>a2</c
src/dk/brics/automaton/BasicOperations.java:260
↓ 1 callers
Method
newState
Create a new outgoing transition labeled <code>label</code> and return the newly created target state for this transition.
src/dk/brics/automaton/StringUnionOperations.java:151
↓ 1 callers
Method
optional
Returns an automaton that accepts the union of the empty string and the language of the given automaton. <p> Complexity: linear in number of states.
src/dk/brics/automaton/BasicOperations.java:146
↓ 1 callers
Method
overlap
Returns an automaton that accepts the overlap of strings that in more than one way can be split into a left part being accepted by <code>a1</code> and
src/dk/brics/automaton/SpecialOperations.java:78
↓ 1 callers
Method
parseCharClassExp
()
src/dk/brics/automaton/RegExp.java:788
↓ 1 callers
Method
parseCharClasses
()
src/dk/brics/automaton/RegExp.java:803
↓ 1 callers
Method
parseComplExp
()
src/dk/brics/automaton/RegExp.java:781
↓ 1 callers
Method
parseConcatExp
()
src/dk/brics/automaton/RegExp.java:738
↓ 1 callers
Method
parseInterExp
()
src/dk/brics/automaton/RegExp.java:731
↓ 1 callers
Method
parseRepeatExp
()
src/dk/brics/automaton/RegExp.java:745
↓ 1 callers
Method
parseSimpleExp
()
src/dk/brics/automaton/RegExp.java:821
↓ 1 callers
Method
prefixClose
Prefix closes the given automaton.
src/dk/brics/automaton/SpecialOperations.java:560
← previous
next →
101–200 of 324, ranked by callers