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

java.lang.Object
  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()