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.
`java.util.BitSet`	`getStatesWithLabel(java.lang.String label)` Returns the states of this transition system with the given label.
`int`	`hashCode()`
`java.util.BitSet`	`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`	`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
  - post
```
public java.util.BitSet 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
  - getStatesWithLabel
```
public java.util.BitSet getStatesWithLabel(java.lang.String label)
```
    Returns the states of this transition system with the given label.
    
    Parameters:
    
    label - an atomic proposition
    
    Returns:
    
    the states of this transition system with the given label

Class TransitionSystem

Method Summary

Methods inherited from class java.lang.Object

Method Detail

random

getStates

equals

hashCode

toString

post

getStatesWithLabel