uk.ac.man.cs.rainbow.rapa.abstraction
Class State

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.abstraction.State

All Implemented Interfaces:

Comparable

public class State

extends Object

implements Comparable

A state in the abstract transition system.

Method Summary

int	compareTo(Object o)
boolean	equals(Object o)
Value	get(Register reg)
Value	get(String s) First converts name to register, then gets register value.
Transition	getRandomStep(Random rng)
List	getSteps()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

get

public Value get(Register reg)

get

public Value get(String s)

First converts name to register, then gets register value.

Returns:

null if there is no register with that name in this state.

getSteps

public List getSteps()

getRandomStep

public Transition getRandomStep(Random rng)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

compareTo

public int compareTo(Object o)

Specified by:

compareTo in interface Comparable