edu.neu.ccs.demeterf.examples
Class TossExample.IntCons.rest

java.lang.Object
  extended by edu.neu.ccs.demeterf.examples.TossExample.IntCons.rest
Enclosing class:
TossExample.IntCons

public static class TossExample.IntCons.rest
extends java.lang.Object


Constructor Summary
TossExample.IntCons.rest()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TossExample.IntCons.rest

public TossExample.IntCons.rest()