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
↓ 1 callers
Method
projectChars
Returns an automaton with projected alphabet. The new automaton accepts all strings that are projections of strings accepted by the given automaton on
src/dk/brics/automaton/SpecialOperations.java:365
↓ 1 callers
Method
referenceEquals
Compare two lists of objects for reference-equality.
src/dk/brics/automaton/StringUnionOperations.java:215
↓ 1 callers
Method
replaceLastChild
Replace the last added outgoing transition's target state with the given state.
src/dk/brics/automaton/StringUnionOperations.java:188
↓ 1 callers
Method
replaceWhitespace
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition in the given automaton. @param a automaton @return automato
src/dk/brics/automaton/SpecialOperations.java:592
↓ 1 callers
Method
run
See {@link BasicOperations#run(Automaton, String)}.
src/dk/brics/automaton/Automaton.java:957
↓ 1 callers
Method
setAlphabet
Sets alphabet table for optimal run performance.
src/dk/brics/automaton/RunAutomaton.java:59
↓ 1 callers
Method
setDeterministic
Sets deterministic flag for this automaton. This method should (only) be used if automata are constructed manually. @param deterministic true if the a
src/dk/brics/automaton/Automaton.java:247
↓ 1 callers
Method
setPrevious
Copy <code>current</code> into an internal buffer.
src/dk/brics/automaton/StringUnionOperations.java:322
↓ 1 callers
Method
shuffle
Returns an automaton that accepts the shuffle (interleaving) of the languages of the given automata. As a side-effect, both automata are determinized,
src/dk/brics/automaton/ShuffleOperations.java:59
↓ 1 callers
Method
shuffleSubsetOf
Returns a string that is an interleaving of strings that are accepted by <code>ca</code> but not by <code>a</code>. If no such string exists, null is
src/dk/brics/automaton/ShuffleOperations.java:117
↓ 1 callers
Method
singleChars
Returns an automaton that accepts the single chars that occur in strings that are accepted by the given automaton. Never modifies the input automaton.
src/dk/brics/automaton/SpecialOperations.java:104
↓ 1 callers
Method
splitTransitions
(Set<State> states)
src/dk/brics/automaton/MinimizationOperations.java:487
↓ 1 callers
Method
statesAgree
(Transition[][] transitions, boolean[][] mark, int n1, int n2)
src/dk/brics/automaton/MinimizationOperations.java:71
↓ 1 callers
Method
store
(String name, Automaton a)
src/dk/brics/automaton/Datatypes.java:494
↓ 1 callers
Method
store
Writes this <code>MatchOnlyRunAutomaton</code> to the given stream. @param stream output stream for serialized automaton @exception IOException if inp
src/dk/brics/automaton/MatchOnlyRunAutomaton.java:122
↓ 1 callers
Method
subsetOf
Returns true if the language of <code>a1</code> is a subset of the language of <code>a2</code>. As a side-effect, <code>a2</code> is determinized if n
src/dk/brics/automaton/BasicOperations.java:342
↓ 1 callers
Method
toStringBuilder
(StringBuilder b)
src/dk/brics/automaton/RegExp.java:423
↓ 1 callers
Method
transition
For normal operation, simply return the transitioned to state. If the transition is to an accepted state and an override value is provided, then retur
src/dk/brics/automaton/RunAutomaton.java:250
↓ 1 callers
Method
trim
Returns an automaton that accepts the trimmed language of the given automaton. The resulting automaton is constructed as follows: 1) Whenever a <code>
src/dk/brics/automaton/SpecialOperations.java:132
Method
Automaton
Constructs a new automaton that accepts the empty language. Using this constructor, automata can be constructed manually from {@link State} and {@link
src/dk/brics/automaton/Automaton.java:139
Method
AutomatonMatcher
(final CharSequence chars, final RunAutomaton automaton)
src/dk/brics/automaton/AutomatonMatcher.java:44
Method
BasicAutomata
()
src/dk/brics/automaton/BasicAutomata.java:43
Method
BasicOperations
()
src/dk/brics/automaton/BasicOperations.java:47
Method
Datatypes
()
src/dk/brics/automaton/Datatypes.java:241
Method
DatatypesAutomatonProvider
Constructs a new automaton provider that recognizes all names from {@link Datatypes#get(String)}.
src/dk/brics/automaton/DatatypesAutomatonProvider.java:43
Method
IntPair
(int n1, int n2)
src/dk/brics/automaton/MinimizationOperations.java:523
Method
LabelComparator
(IntPair[] labels)
src/dk/brics/automaton/MinimizationOperations.java:644
Method
MatchOnlyRunAutomaton
(final Automaton a)
src/dk/brics/automaton/MatchOnlyRunAutomaton.java:29
Method
MinimizationOperations
()
src/dk/brics/automaton/MinimizationOperations.java:46
Method
Partition
(int size)
src/dk/brics/automaton/MinimizationOperations.java:586
Method
RegExp
()
src/dk/brics/automaton/RegExp.java:180
Method
RunAutomaton
()
src/dk/brics/automaton/RunAutomaton.java:140
Method
ShuffleConfiguration
()
src/dk/brics/automaton/ShuffleOperations.java:276
Method
ShuffleOperations
()
src/dk/brics/automaton/ShuffleOperations.java:46
Method
SpecialOperations
()
src/dk/brics/automaton/SpecialOperations.java:44
Method
State
Constructs a new state. Initially, the new state is a reject state.
src/dk/brics/automaton/State.java:58
Method
StateListNode
(State q, StateList sl)
src/dk/brics/automaton/MinimizationOperations.java:548
Method
StatePair
(State s, State s1, State s2)
src/dk/brics/automaton/StatePair.java:41
Method
Transition
Constructs a new singleton interval transition. @param c transition character @param to destination state
src/dk/brics/automaton/Transition.java:59
Method
TransitionComparator
(boolean to_first)
src/dk/brics/automaton/TransitionComparator.java:41
Method
boolean_matches_as_expected
(final int posStart, final int posEnd, final RegExp regex, final String input)
test/java/dk/brics/automaton/RunAutomatonTest.java:19
Method
clone
Clones this transition. @return clone with same character interval and destination state
src/dk/brics/automaton/Transition.java:126
Method
compare
(Integer i, Integer j)
src/dk/brics/automaton/MinimizationOperations.java:648
Method
compare
Compares by (min, reverse max, to) or (to, min, reverse max).
src/dk/brics/automaton/TransitionComparator.java:48
Method
compress
See {@link SpecialOperations#compress(Automaton, String, char)}.
src/dk/brics/automaton/Automaton.java:1001
Method
end
Returns the offset after the last character matched. @return The offset after the last character matched. @throws IllegalStateException if there has
src/dk/brics/automaton/AutomatonMatcher.java:149
Method
equals
Checks for equality. @param obj object to compare with @return true if <code>obj</code> represents the same pair of states as this pair
src/dk/brics/automaton/StatePair.java:78
Method
equals
(Object obj)
src/dk/brics/automaton/ShuffleOperations.java:311
Method
equals
Checks for equality. @param obj object to compare with @return true if <code>obj</code> is a transition with same character interval and desti
src/dk/brics/automaton/Transition.java:103
Method
equals
Returns true if the language of this automaton is equal to the language of the given automaton. Implemented using <code>hashCode</code> and <code>subs
src/dk/brics/automaton/Automaton.java:529
Method
equals
Two states are equal if: <ul> <li>they have an identical number of outgoing transitions, labeled with the same labels</li> <li>corresponding outgoing
src/dk/brics/automaton/StringUnionOperations.java:100
Method
exists
Checks whether a given automaton is available. @param name automaton name @return true if the automaton is available
src/dk/brics/automaton/Datatypes.java:470
Method
getAllowMutate
Returns the state of the allow mutate flag. If this flag is set, then all automata operations may modify automata given as input; otherwise, operation
src/dk/brics/automaton/Automaton.java:191
Method
getAutomaton
(String name)
src/dk/brics/automaton/DatatypesAutomatonProvider.java:60
Method
getCharIntervals
Returns array of character class interval start points. The array should not be modified by the caller.
src/dk/brics/automaton/RunAutomaton.java:129
Method
getCommonPrefix
See {@link SpecialOperations#getCommonPrefix(Automaton)}.
src/dk/brics/automaton/Automaton.java:1064
Method
getFiniteStrings
See {@link SpecialOperations#getFiniteStrings(Automaton)}.
src/dk/brics/automaton/Automaton.java:1050
Method
getFirstState
Returns first component of this pair. @return first state
src/dk/brics/automaton/StatePair.java:61
Method
getIdentifiers
Returns set of automaton identifiers that occur in this regular expression.
src/dk/brics/automaton/RegExp.java:522
Method
getInfo
Returns extra information associated with this automaton. @return extra information @see #setInfo(Object)
src/dk/brics/automaton/Automaton.java:264
Method
getInitialState
Returns initial state.
src/dk/brics/automaton/RunAutomaton.java:121
Method
getMax
Returns maximum of this transition interval.
src/dk/brics/automaton/Transition.java:88
Method
getMin
Returns minimum of this transition interval.
src/dk/brics/automaton/Transition.java:83
Method
getSecondState
Returns second component of this pair. @return second state
src/dk/brics/automaton/StatePair.java:69
Method
getShortestExample
See {@link BasicOperations#getShortestExample(Automaton, boolean)}.
src/dk/brics/automaton/Automaton.java:950
Method
getSingleton
Returns the singleton string for this automaton. An automaton that accepts exactly one string <i>may</i> be represented in singleton mode. In that cas
src/dk/brics/automaton/Automaton.java:210
Method
getSize
Returns number of states in automaton.
src/dk/brics/automaton/RunAutomaton.java:107
Method
getStates
Returns an array of outgoing transitions from this state. The returned array must not be changed.
src/dk/brics/automaton/StringUnionOperations.java:87
Method
getStrings
See {@link SpecialOperations#getStrings(Automaton, int)}.
src/dk/brics/automaton/Automaton.java:1043
Method
getTransitionLabels
Returns an array of outgoing transition labels. The array is sorted in lexicographic order and indexes correspond to states returned from {@link #getS
src/dk/brics/automaton/StringUnionOperations.java:79
Method
group
Returns the subsequence of the input found by the previous match. @return The subsequence of the input found by the previous match. @throws IllegalSt
src/dk/brics/automaton/AutomatonMatcher.java:181
Method
groupCount
Returns the number of capturing groups in the underlying automaton. <br> Note that because the automaton does not support capturing groups this method
src/dk/brics/automaton/AutomatonMatcher.java:215
Method
handles_invalid_inputs
()
test/java/dk/brics/automaton/MatchOnlyRunAutomatonTest.java:56
Method
hashCode
Returns hash code. @return hash code
src/dk/brics/automaton/StatePair.java:92
Method
hashCode
Returns hash code. The hash code is based on the character interval (not the destination state). @return hash code
src/dk/brics/automaton/Transition.java:117
Method
hashCode
Compute the hash code of the <i>current</i> status of this state.
src/dk/brics/automaton/StringUnionOperations.java:126
Method
hashCode
See {@link java.lang.Object#hashCode()}.
src/dk/brics/automaton/State.java:187
Method
hexCases
See {@link SpecialOperations#hexCases(Automaton)}.
src/dk/brics/automaton/Automaton.java:1078
Method
homomorph
See {@link SpecialOperations#homomorph(Automaton, char[], char[])}.
src/dk/brics/automaton/Automaton.java:1022
Method
isAccept
Returns acceptance status for given state.
src/dk/brics/automaton/RunAutomaton.java:114
Method
isEmptyString
See {@link BasicOperations#isEmptyString(Automaton)}.
src/dk/brics/automaton/Automaton.java:929
Method
isFinal
Is this state a final state in the automaton?
src/dk/brics/automaton/StringUnionOperations.java:119
Method
isFinite
See {@link SpecialOperations#isFinite(Automaton)}.
src/dk/brics/automaton/Automaton.java:1036
Method
isTotal
See {@link BasicOperations#isTotal(Automaton)}.
src/dk/brics/automaton/Automaton.java:943
Method
load
Retrieves a serialized <code>RunAutomaton</code> located by a URL. @param url URL of serialized automaton @exception IOException if input/output relat
src/dk/brics/automaton/RunAutomaton.java:159
Method
main
Invoke during compilation to pre-build automata. Automata are stored in the directory specified by the system property <code>dk.brics.automaton.dataty
src/dk/brics/automaton/Datatypes.java:248
Method
makeAnyChar
See {@link BasicAutomata#makeAnyChar()}.
src/dk/brics/automaton/Automaton.java:733
Method
makeAnyString
See {@link BasicAutomata#makeAnyString()}.
src/dk/brics/automaton/Automaton.java:726
Method
makeDecimalValue
See {@link BasicAutomata#makeDecimalValue(String)}.
src/dk/brics/automaton/Automaton.java:817
Method
makeEmpty
See {@link BasicAutomata#makeEmpty()}.
src/dk/brics/automaton/Automaton.java:712
Method
makeEmptyString
See {@link BasicAutomata#makeEmptyString()}.
src/dk/brics/automaton/Automaton.java:719
Method
makeFractionDigits
See {@link BasicAutomata#makeFractionDigits(int)}.
src/dk/brics/automaton/Automaton.java:803
Method
makeIntegerValue
See {@link BasicAutomata#makeIntegerValue(String)}.
src/dk/brics/automaton/Automaton.java:810
Method
makeInterval
See {@link BasicAutomata#makeInterval(int, int, int)}.
src/dk/brics/automaton/Automaton.java:761
Method
makeMinInteger
See {@link BasicAutomata#makeMinInteger(String)}.
src/dk/brics/automaton/Automaton.java:789
Method
makeStringMatcher
See {@link BasicAutomata#makeStringMatcher(String)}.
src/dk/brics/automaton/Automaton.java:824
Method
makeStringUnion
See {@link BasicAutomata#makeStringUnion(CharSequence...)}.
src/dk/brics/automaton/Automaton.java:775
Method
makeTotalDigits
See {@link BasicAutomata#makeTotalDigits(int)}.
src/dk/brics/automaton/Automaton.java:796
Method
matches_substring_as_expected
(final int posStart, final int posEnd, final RegExp regex, final String input)
test/java/dk/brics/automaton/MatchOnlyRunAutomatonTest.java:28
Method
overlap
See {@link SpecialOperations#overlap(Automaton, Automaton)}.
src/dk/brics/automaton/Automaton.java:980
← previous
next →
201–300 of 324, ranked by callers