uk.ac.man.cs.rainbow.deadlock
Class StateEngine.Debug

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.StateEngine.Debug

Enclosing class:

StateEngine

public static final class StateEngine.Debug

extends Object

For debugging. INTERNAL USE ONLY

Method Summary

void	print(Object o)
void	print(String s)

Methods inherited from class java.lang.Object

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

Method Detail

print

public void print(String s)

print

public void print(Object o)