Uses of Class
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska.Coordinate

Packages that use Coordinate

cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska

This package contains Layout created by Julie Vyhnanovska.

Uses of Coordinate in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska that return Coordinate

Coordinate

StateMapping.getStateCoordinate(State<T> state) Get Coordinate mapped with a specified State.

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska with parameters of type Coordinate

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