public class BricsTransitionProperty extends Object
Constructor and Description |
---|
BricsTransitionProperty(char min,
char max)
Constructor.
|
BricsTransitionProperty(Transition trans)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
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) |
public BricsTransitionProperty(char min, char max)
min
- lower bound of the character range.max
- upper bound of the character range.public BricsTransitionProperty(Transition trans)
Transition
.trans
- the Brics transition objectpublic static String toString(char min, char max)
public char getMin()
Transition.getMin()
public char getMax()
Transition.getMax()
Copyright © 2015. All rights reserved.