BricsTransitionProperty (AutomataLib :: Adapters :: BRICS 0.11.0 API)

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

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(@Nullable Object o)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public final int hashCode()
```
    Overrides:
    
    hashCode in class Object