edu.toronto.cs.xkripke
Class XKripke.XKripkeVisitor

java.lang.Object
  extended by edu.toronto.cs.xkripke.XKripke.XKripkeVisitor
Enclosing class:
XKripke

public static class XKripke.XKripkeVisitor
extends java.lang.Object


Constructor Summary
XKripke.XKripkeVisitor()
           
 
Method Summary
 void visitXKripke(XKripke.XKripkeState state)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XKripke.XKripkeVisitor

public XKripke.XKripkeVisitor()
Method Detail

visitXKripke

public void visitXKripke(XKripke.XKripkeState state)