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

Methods

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

BricsTransitionProperty

public BricsTransitionProperty(char min,
                       char max)

Constructor.

Parameters:

min - lower bound of the character range.

max - upper bound of the character range.

BricsTransitionProperty

public BricsTransitionProperty(Transition trans)

Constructor. Constructs the property from a Brics Transition.

Parameters:

trans - the Brics transition object

Method Detail

toString

public static String toString(char min,
              char max)

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object