Package net.automatalib.brics
Class BricsTransitionProperty
- java.lang.Object
-
- net.automatalib.brics.BricsTransitionProperty
-
public class BricsTransitionProperty extends Object
The properties of an edge in a Brics automaton.
-
-
Constructor Summary
Constructors Constructor Description BricsTransitionProperty(char min, char max)
Constructor.BricsTransitionProperty(Transition trans)
Constructor.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
char
getMax()
Retrieves the upper bound of the character range.char
getMin()
Retrieves the lower bound of the character range.int
hashCode()
String
toString()
static String
toString(char min, char max)
-
-
-
Constructor Detail
-
BricsTransitionProperty
public BricsTransitionProperty(Transition trans)
Constructor. Constructs the property from a BricsTransition
.- Parameters:
trans
- the Brics transition object
-
BricsTransitionProperty
public BricsTransitionProperty(char min, char max)
Constructor.- Parameters:
min
- lower bound of the character range.max
- upper bound of the character range.
-
-
Method Detail
-
getMin
public char getMin()
Retrieves the lower bound of the character range.- Returns:
- the lower bound of the character range
- See Also:
Transition.getMin()
-
getMax
public char getMax()
Retrieves the upper bound of the character range.- Returns:
- the upper bound of the character range
- See Also:
Transition.getMax()
-
toString
public static String toString(char min, char max)
-
-