at.ac.tuwien.dbai.alternation.examples
Class CatAndMouse2.Inputtape

java.lang.Object
  at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Inputtape

Enclosing class:

CatAndMouse2

public class CatAndMouse2.Inputtape
extends java.lang.Object

Field Summary

(package private) Graph.Node<java.lang.Integer>	catStart
(package private) Graph<java.lang.Integer>	gameboard
(package private) Graph.Node<java.lang.Integer>	goal
(package private) Graph.Node<java.lang.Integer>	mouseStart

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

catStart

Graph.Node<java.lang.Integer> catStart

gameboard

Graph<java.lang.Integer> gameboard

goal

Graph.Node<java.lang.Integer> goal

mouseStart

Graph.Node<java.lang.Integer> mouseStart