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(java.lang.String label)` Returns the states of this transition system with the given label.
`boolean[]`	`post(int state)` Returns whether the given state can transition to any other 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 boolean[] post(int state)
```
    Returns whether the given state can transition to any other state.
```
 boolean[] post = system.post(source)
 
```
    post[target] captures whether source can transition to target.
    Parameters:
    
    state - a state
    
    Precondition:
    
    0 ≤ state, state < states
    
    Returns:
    
    whether the given state can transition to any other state
  - hasLabel
```
public boolean[] hasLabel(java.lang.String label)
```
    Returns the states of this transition system with the given label.
```
 boolean[] hasLabel = system.hasLabel(label)
 
```
    hasLabel[state] captures whether state has labelling 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

hasLabel