cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska
Class StateMapping<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska.StateMapping<T>

public class StateMapping<T>
extends Object

Maps States and Coordinates for the plotting purposes.

Constructor Summary

StateMapping(int numberOfStates)
Number of states must be known before creation and has to be specified in this constructor.

Method Summary

void	addStateCoordinate(State<T> state, Coordinate coordinate) Adds State <--> Coordinate mapping.
State<T>	getStateAtCoordinate(Coordinate coordinate) Get State mapped with a specified Coordinate.
Coordinate	getStateCoordinate(State<T> state) Get Coordinate mapped with a specified State.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateMapping

public StateMapping(int numberOfStates)

Number of states must be known before creation and has to be specified in this constructor.

Parameters:

numberOfStates - Number of states we would like to map.

Method Detail

addStateCoordinate

public void addStateCoordinate(State<T> state,
                               Coordinate coordinate)

Adds State <--> Coordinate mapping.

Parameters:

state -

coordinate -

getStateAtCoordinate

public State<T> getStateAtCoordinate(Coordinate coordinate)

Get State mapped with a specified Coordinate.

Parameters:

coordinate - Coordinate mapped with desired State.

Returns:

State mapped with specified Coordinate.

getStateCoordinate

public Coordinate getStateCoordinate(State<T> state)

Get Coordinate mapped with a specified State.

Parameters:

state - State mapped with desired Coordinate.

Returns:

Coordinate mapped with specified State.