public final class BasicAutomata
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static org.processmining.framework.plugin.ProMCanceller |
notCanceller |
Modifier and Type | Method and Description |
---|---|
static Automaton |
makeAnyChar()
Returns a new (deterministic) automaton that accepts any single
character.
|
static Automaton |
makeAnyString()
Returns a new (deterministic) automaton that accepts all strings.
|
static Automaton |
makeChar(char c)
Returns a new (deterministic) automaton that accepts a single character
of the given value.
|
static Automaton |
makeCharRange(char min,
char max)
Returns a new (deterministic) automaton that accepts a single char whose
value is in the given interval (including both end points).
|
static Automaton |
makeCharSet(java.lang.String set)
Returns a new (deterministic) automaton that accepts a single character
in the given set.
|
static Automaton |
makeDecimalValue(java.lang.String value)
Constructs automaton that accept strings representing the given decimal
number.
|
static Automaton |
makeEmpty()
Returns a new (deterministic) automaton with the empty language.
|
static Automaton |
makeEmptyString()
Returns a new (deterministic) automaton that accepts only the empty
string.
|
static Automaton |
makeFractionDigits(int i)
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits in the
fraction part.
|
static Automaton |
makeIntegerValue(java.lang.String value)
Constructs automaton that accept strings representing the given integer.
|
static Automaton |
makeInterval(int min,
int max,
int digits)
Returns a new automaton that accepts strings representing decimal
non-negative integers in the given interval.
|
static Automaton |
makeMaxInteger(java.lang.String n)
Constructs automaton that accept strings representing nonnegative
integers that are not larger than the given value.
|
static Automaton |
makeMinInteger(java.lang.String n)
Constructs automaton that accept strings representing nonnegative
integers that are not less that the given value.
|
static Automaton |
makeString(java.lang.String s)
Returns a new (deterministic) automaton that accepts the single given
string.
|
static Automaton |
makeStringMatcher(java.lang.String s)
Constructs deterministic automaton that matches strings that contain the
given substring.
|
static Automaton |
makeStringUnion(java.lang.CharSequence... strings)
Returns a new (deterministic and minimal) automaton that accepts the
union of the given set of strings.
|
static Automaton |
makeTotalDigits(int i)
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits.
|
public static org.processmining.framework.plugin.ProMCanceller notCanceller
public static Automaton makeEmpty()
public static Automaton makeEmptyString()
public static Automaton makeAnyString()
public static Automaton makeAnyChar()
public static Automaton makeChar(char c)
public static Automaton makeCharRange(char min, char max)
public static Automaton makeCharSet(java.lang.String set)
public static Automaton makeInterval(int min, int max, int digits) throws java.lang.IllegalArgumentException
min
- minimal value of intervalmax
- maximal value of inverval (both end points are included in the
interval)digits
- if >0, use fixed number of digits (strings must be prefixed by
0's to obtain the right length) - otherwise, the number of
digits is not fixedjava.lang.IllegalArgumentException
- if min>max or if numbers in the interval cannot be
expressed with the given fixed number of digitspublic static Automaton makeString(java.lang.String s)
public static Automaton makeStringUnion(java.lang.CharSequence... strings)
StringUnionOperations
public static Automaton makeMaxInteger(java.lang.String n)
n
- string representation of maximum valuepublic static Automaton makeMinInteger(java.lang.String n)
n
- string representation of minimum valuepublic static Automaton makeTotalDigits(int i)
i
- max number of necessary digitspublic static Automaton makeFractionDigits(int i)
i
- max number of necessary fraction digitspublic static Automaton makeIntegerValue(java.lang.String value)
value
- string representation of integerpublic static Automaton makeDecimalValue(java.lang.String value)
value
- string representation of decimal numberpublic static Automaton makeStringMatcher(java.lang.String s)