TransitionSystem

java.lang.Object
- model.TransitionSystem

public final class TransitionSystem
extends java.lang.Object

A transition system.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object object)`
`int`	`getStates()` Returns the number of states of this transition system.
`int`	`hashCode()`
`boolean`	`hasLabel(int state, java.lang.String label)` Tests whether the given state of this transition system has the given label.
`java.util.Set<java.lang.Integer>`	`post(int state)` Returns the set of successor states of the given state.
`static TransitionSystem`	`random(int states)` Returns a random transition system with the given number of states.
`java.lang.String`	`toDot()` Returns a dot representation of this transition system.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Method Detail
  - random
```
public static TransitionSystem random(int states)
```
    Returns a random transition system with the given number of states. Each state has at least one outgoing transition.
    
    Parameters:
    
    states - the number of states of the transition system
    
    Precondition:
    
    states > 0
    
    Returns:
    
    a random transition system
  - getStates
```
public int getStates()
```
    Returns the number of states of this transition system.
    
    Returns:
    
    the number of states of this transition system
  - equals
```
public boolean equals(java.lang.Object object)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - toDot
```
public java.lang.String toDot()
```
    Returns a dot representation of this transition system.
    
    Returns:
    
    a dot representation of this transition system
  - post
```
public java.util.Set<java.lang.Integer> post(int state)
```
    Returns the set of successor states of the given state.
    
    Parameters:
    
    state - a state
    
    Precondition:
    
    0 ≤ state, state < states
    
    Returns:
    
    the set of successor states of the given state
  - hasLabel
```
public boolean hasLabel(int state,
                        java.lang.String label)
```
    Tests whether the given state of this transition system has the given label.
    
    Parameters:
    
    state - a state of this transition system
    
    label - an atomic proposition
    
    Precondition:
    
    0 ≤ state, state < states
    
    Returns:
    
    true if the given state of this transition system has the given label, false otherwise

Class TransitionSystem

Method Summary

Methods inherited from class java.lang.Object

Method Detail

random

getStates

equals

hashCode

toString

toDot

post

hasLabel