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.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
BricsTransitionProperty(char min, char max) Constructor.
BricsTransitionProperty(Transition trans) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(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)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BricsTransitionProperty

public BricsTransitionProperty(Transition trans)

Constructor. Constructs the property from a Brics Transition.

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 String toString()

Overrides:

toString in class Object

toString

public static String toString(char min,
                              char max)

equals

public final boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object